國立虎尾科技大學 |

Automata, Languages, and Programming = 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Automata, Languages, and Programming/ edited by Magnús M. Halldórsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmann.
其他題名:	42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I /
其他作者:	Halldórsson, Magnús M.
面頁冊數:	XXXI, 1111 p. 78 illus.online resource. :
Contained By:	Springer Nature eBook
標題:	Algorithms. -
電子資源:	https://doi.org/10.1007/978-3-662-47672-7
ISBN:	9783662476727

Automata, Languages, and Programming = 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I /
Automata, Languages, and Programming42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I /[electronic resource] :edited by Magnús M. Halldórsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmann. - 1st ed. 2015. - XXXI, 1111 p. 78 illus.online resource. - Theoretical Computer Science and General Issues ;9134. - Theoretical Computer Science and General Issues ;9163.

Statistical Randomized Encodings: A Complexity Theoretic View -- Tighter Fourier Transform Lower Bounds -- Quantifying Competitiveness in Paging with Locality of Reference -- Approximation Algorithms for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare -- Batched Point Location in SINR Diagrams via Algebraic Tools -- On the Randomized Competitive Ratio of Reordering Buffer Management with Non-uniform Costs -- Serving in the Dark Should Be Done Non-uniformly -- Finding the Median (Obliviously) with Bounded Space -- Approximation Algorithms for Min-Sum k-Clustering -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from Generalized and Distributed Santha-Vazirani Sources -- Limitations of Algebraic Approaches to Graph Isomorphism Testing -- Fully Dynamic Matching in Bipartite Graphs -- Feasible Interpolation for QBF Resolution Calculi -- Simultaneous Approximation of Constraint Satisfaction Problems -- Design of Dynamic Algorithms via Primal-Dual Method -- What Percentage of Programs Halt? -- The Parity of Set Systems Under Random Restrictions with Applications to Exponential Time Problems -- Spotting Trees with Few Leaves -- Constraint Satisfaction Problems over the Integers with Successor -- Hardness Amplification and the Approximate Degree of Constant-Depth Circuits -- Algorithms and Complexity for Turaev-Viro Invariants -- Big Data on the Rise? – Testing Monotonicity of Distributions -- Unit Interval Editing Is Fixed-Parameter Tractable -- Streaming Algorithms for Submodular Function Maximization -- Multilinear Pseudorandom Functions -- Zero-Fixing Extractors for Sub-Logarithmic Entropy -- Interactive Proofs with Approximately Commuting Provers -- Popular Matchings with Two-Sided Preferences and One-Sided Ties -- Block Interpolation: A Framework for Tight Exponential-Time Counting Complexity -- On Convergence and Threshold Properties of Discrete Lotka-Volterra Population Protocols -- Scheduling Bidirectional Traffic on a Path -- On the Problem of Approximating the Eigenvalues of Undirected Graphs in Probabilistic Logspace -- On Planar Boolean CSP -- On Temporal Graph Exploration -- Mind Your Coins: Fully Leakage-Resilient Signatures with Graceful Degradation -- A (1+e)-Embedding of Low Highway Dimension Graphs into Bounded Treewidth Graphs -- Lower Bounds for the Graph Homomorphism Problem -- Parameterized Single-Exponential Time Polynomial Space Algorithm for Steiner Tree -- Relative Discrepancy Does not Separate Information and Communication Complexity -- A Galois Connection for Valued Constraint Languages of Infinite Size -- Approximately Counting H Colourings Is #BIS-Hard -- Taylor Polynomial Estimator for Estimating Frequency Moments -- ETR-Completeness for Decision Versions of Multi-player (Symmetric) Nash Equilibria -- Separate, Measure and Conquer: Faster Polynomial-Space Algorithms for Max 2-CSP and Counting Dominating Sets -- Submatrix Maximum Queries in Monge Matrices Are Equivalent to Predecessor Search -- Optimal Encodings for Range Top-k, Selection, and Min-Max -- 2-Vertex Connectivity in Directed Graphs -- Ground State Connectivity of Local Hamiltonians -- Uniform Kernelization Complexity of Hitting Forbidden Minors -- Counting Homomorphisms to Square-Free Graphs, Modulo 2 -- Approximately Counting Locally-Optimal Structures -- Proofs of Proximity for Context-Free Languages and Read-Once Branching Programs (Extended Abstract) -- Fast Algorithms for Diameter-Optimally Augmenting Paths -- Hollow Heaps -- Linear-Time List Recovery of High-Rate Expander Codes -- Finding 2-Edge and 2-Vertex Strongly Connected Components in Quadratic Time -- Improved Algorithms for Decremental Single-Source Reachability on Directed Graphs -- Weighted Reordering Buffer Improved via Variants of Knapsack Covering Inequalities -- Local Reductions -- Query Complexity in Expectation -- Near-Linear Query Complexity for Graph Inference -- A QPTAS for the Base of the Number of Crossing-Free Structures on a Planar Point Set -- Finding a Path in Group-Labeled Graphs with Two Labels Forbidden -- Lower Bounds for Sums of Powers of Low Degree Univariates -- Approximating CSPs Using LP Relaxation -- Comparator Circuits over Finite Bounded Posets -- Algebraic Properties of Valued Constraint Satisfaction Problem -- Towards Understanding the Smoothed Approximation Ratio of the 2-Opt Heuristic -- On the Hardest Problem Formulations for the 0/1 Lasserre Hierarchy -- Replacing Mark Bits with Randomness in Fibonacci Heaps -- A PTAS for the Weighted Unit Disk Cover Problem -- Approximating the Expected Values for Combinatorial Optimization Problems Over Stochastic Points -- Deterministic Truncation of Linear Matroids -- Linear Time Parameterized Algorithms for Subset Feedback Vertex Set -- An Optimal Algorithm for Minimum-Link Rectilinear Paths in Triangulated Rectilinear Domains -- Amplification of One-Way Information Complexity via Codes and Noise Sensitivity -- A (2+e)-Approximation Algorithm for the Storage Allocation Problem -- Shortest Reconfiguration Paths in the Solution Space of Boolean Formulas -- Computing the Fréchet Distance Between Polygons with Holes -- An Improved Private Mechanism for Small Databases -- Binary Pattern Tile Set Synthesis Is NP-Hard -- Near-Optimal Upper Bound on Fourier Dimension of Boolean Functions in Terms of Fourier Sparsity -- Condensed Unpredictability -- Sherali-Adams Relaxations for Valued CSPs -- Two-Sided Online Bipartite Matching and Vertex Cover: Beating the Greedy Algorithm -- The Simultaneous Communication of Disjointness with Applications to Data Streams -- An Improved Combinatorial Algorithm for Boolean Matrix Multiplication.

The two-volume set LNCS 9134 and LNCS 9135 constitutes the refereed proceedings of the 42nd International Colloquium on Automata, Languages and Programming, ICALP 2015, held in Kyoto, Japan, in July 2015. The 143 revised full papers presented were carefully reviewed and selected from 507 submissions. The papers are organized in the following three tracks: algorithms, complexity, and games; logic, semantics, automata, and theory of programming; and foundations of networked computation: models, algorithms, and information management.

ISBN: 9783662476727

Standard No.: 10.1007/978-3-662-47672-7doiSubjects--Topical Terms:

527865
Algorithms.

LC Class. No.: QA76.9.A43

Dewey Class. No.: 005.1

Automata, Languages, and Programming = 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I /
LDR:07819nam a22004095i 4500 001 970180
003 DE-He213
005 20200725164841.0
007 cr nn 008mamaa
008 201211s2015 gw | s |||| 0|eng d
020 $a 9783662476727 $9 978-3-662-47672-7
024 7 $a 10.1007/978-3-662-47672-7 $2 doi
035 $a 978-3-662-47672-7
050 4 $a QA76.9.A43
072 7 $a UMB $2 bicssc
072 7 $a COM051300 $2 bisacsh
072 7 $a UMB $2 thema
082 0 4 $a 005.1 $2 23
245 1 0 $a Automata, Languages, and Programming $h [electronic resource] : $b 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I / $c edited by Magnús M. Halldórsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmann.
250 $a 1st ed. 2015.
264 1 $a Berlin, Heidelberg : $b Springer Berlin Heidelberg : $b Imprint: Springer, $c 2015.
300 $a XXXI, 1111 p. 78 illus. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Theoretical Computer Science and General Issues ; $v 9134
505 0 $a Statistical Randomized Encodings: A Complexity Theoretic View -- Tighter Fourier Transform Lower Bounds -- Quantifying Competitiveness in Paging with Locality of Reference -- Approximation Algorithms for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare -- Batched Point Location in SINR Diagrams via Algebraic Tools -- On the Randomized Competitive Ratio of Reordering Buffer Management with Non-uniform Costs -- Serving in the Dark Should Be Done Non-uniformly -- Finding the Median (Obliviously) with Bounded Space -- Approximation Algorithms for Min-Sum k-Clustering -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from Generalized and Distributed Santha-Vazirani Sources -- Limitations of Algebraic Approaches to Graph Isomorphism Testing -- Fully Dynamic Matching in Bipartite Graphs -- Feasible Interpolation for QBF Resolution Calculi -- Simultaneous Approximation of Constraint Satisfaction Problems -- Design of Dynamic Algorithms via Primal-Dual Method -- What Percentage of Programs Halt? -- The Parity of Set Systems Under Random Restrictions with Applications to Exponential Time Problems -- Spotting Trees with Few Leaves -- Constraint Satisfaction Problems over the Integers with Successor -- Hardness Amplification and the Approximate Degree of Constant-Depth Circuits -- Algorithms and Complexity for Turaev-Viro Invariants -- Big Data on the Rise? – Testing Monotonicity of Distributions -- Unit Interval Editing Is Fixed-Parameter Tractable -- Streaming Algorithms for Submodular Function Maximization -- Multilinear Pseudorandom Functions -- Zero-Fixing Extractors for Sub-Logarithmic Entropy -- Interactive Proofs with Approximately Commuting Provers -- Popular Matchings with Two-Sided Preferences and One-Sided Ties -- Block Interpolation: A Framework for Tight Exponential-Time Counting Complexity -- On Convergence and Threshold Properties of Discrete Lotka-Volterra Population Protocols -- Scheduling Bidirectional Traffic on a Path -- On the Problem of Approximating the Eigenvalues of Undirected Graphs in Probabilistic Logspace -- On Planar Boolean CSP -- On Temporal Graph Exploration -- Mind Your Coins: Fully Leakage-Resilient Signatures with Graceful Degradation -- A (1+e)-Embedding of Low Highway Dimension Graphs into Bounded Treewidth Graphs -- Lower Bounds for the Graph Homomorphism Problem -- Parameterized Single-Exponential Time Polynomial Space Algorithm for Steiner Tree -- Relative Discrepancy Does not Separate Information and Communication Complexity -- A Galois Connection for Valued Constraint Languages of Infinite Size -- Approximately Counting H Colourings Is #BIS-Hard -- Taylor Polynomial Estimator for Estimating Frequency Moments -- ETR-Completeness for Decision Versions of Multi-player (Symmetric) Nash Equilibria -- Separate, Measure and Conquer: Faster Polynomial-Space Algorithms for Max 2-CSP and Counting Dominating Sets -- Submatrix Maximum Queries in Monge Matrices Are Equivalent to Predecessor Search -- Optimal Encodings for Range Top-k, Selection, and Min-Max -- 2-Vertex Connectivity in Directed Graphs -- Ground State Connectivity of Local Hamiltonians -- Uniform Kernelization Complexity of Hitting Forbidden Minors -- Counting Homomorphisms to Square-Free Graphs, Modulo 2 -- Approximately Counting Locally-Optimal Structures -- Proofs of Proximity for Context-Free Languages and Read-Once Branching Programs (Extended Abstract) -- Fast Algorithms for Diameter-Optimally Augmenting Paths -- Hollow Heaps -- Linear-Time List Recovery of High-Rate Expander Codes -- Finding 2-Edge and 2-Vertex Strongly Connected Components in Quadratic Time -- Improved Algorithms for Decremental Single-Source Reachability on Directed Graphs -- Weighted Reordering Buffer Improved via Variants of Knapsack Covering Inequalities -- Local Reductions -- Query Complexity in Expectation -- Near-Linear Query Complexity for Graph Inference -- A QPTAS for the Base of the Number of Crossing-Free Structures on a Planar Point Set -- Finding a Path in Group-Labeled Graphs with Two Labels Forbidden -- Lower Bounds for Sums of Powers of Low Degree Univariates -- Approximating CSPs Using LP Relaxation -- Comparator Circuits over Finite Bounded Posets -- Algebraic Properties of Valued Constraint Satisfaction Problem -- Towards Understanding the Smoothed Approximation Ratio of the 2-Opt Heuristic -- On the Hardest Problem Formulations for the 0/1 Lasserre Hierarchy -- Replacing Mark Bits with Randomness in Fibonacci Heaps -- A PTAS for the Weighted Unit Disk Cover Problem -- Approximating the Expected Values for Combinatorial Optimization Problems Over Stochastic Points -- Deterministic Truncation of Linear Matroids -- Linear Time Parameterized Algorithms for Subset Feedback Vertex Set -- An Optimal Algorithm for Minimum-Link Rectilinear Paths in Triangulated Rectilinear Domains -- Amplification of One-Way Information Complexity via Codes and Noise Sensitivity -- A (2+e)-Approximation Algorithm for the Storage Allocation Problem -- Shortest Reconfiguration Paths in the Solution Space of Boolean Formulas -- Computing the Fréchet Distance Between Polygons with Holes -- An Improved Private Mechanism for Small Databases -- Binary Pattern Tile Set Synthesis Is NP-Hard -- Near-Optimal Upper Bound on Fourier Dimension of Boolean Functions in Terms of Fourier Sparsity -- Condensed Unpredictability -- Sherali-Adams Relaxations for Valued CSPs -- Two-Sided Online Bipartite Matching and Vertex Cover: Beating the Greedy Algorithm -- The Simultaneous Communication of Disjointness with Applications to Data Streams -- An Improved Combinatorial Algorithm for Boolean Matrix Multiplication.
520 $a The two-volume set LNCS 9134 and LNCS 9135 constitutes the refereed proceedings of the 42nd International Colloquium on Automata, Languages and Programming, ICALP 2015, held in Kyoto, Japan, in July 2015. The 143 revised full papers presented were carefully reviewed and selected from 507 submissions. The papers are organized in the following three tracks: algorithms, complexity, and games; logic, semantics, automata, and theory of programming; and foundations of networked computation: models, algorithms, and information management.
650 0 $a Algorithms. $3 527865
650 0 $a Computers. $3 565115
650 0 $a Computer communication systems. $3 1115394
650 0 $a Information storage and retrieval. $3 1069252
650 0 $a Application software. $3 528147
650 0 $a Computer science—Mathematics. $3 1253519
650 1 4 $a Algorithm Analysis and Problem Complexity. $3 593923
650 2 4 $a Computation by Abstract Devices. $3 669792
650 2 4 $a Computer Communication Networks. $3 669310
650 2 4 $a Information Storage and Retrieval. $3 593926
650 2 4 $a Information Systems Applications (incl. Internet). $3 881699
650 2 4 $a Discrete Mathematics in Computer Science. $3 670123
700 1 $a Halldórsson, Magnús M. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1265767
700 1 $a Iwama, Kazuo. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1074168
700 1 $a Kobayashi, Naoki. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1265768
700 1 $a Speckmann, Bettina. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 889241
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783662476734
776 0 8 $i Printed edition: $z 9783662476710
830 0 $a Theoretical Computer Science and General Issues ; $v 9163 $3 1253524
856 4 0 $u https://doi.org/10.1007/978-3-662-47672-7
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)