Conferences · eligible papers
ICALP
2022–2026 LIVE
2023 · 132 papers
このEditionに反映済みのmain full research papersのみ掲載しています。著者リンクは日本の大学への著者別所属根拠がある場合に限ります。
- A 4/3 Approximation for 2-Vertex-Connectivity
日本大学: 関与なし（対象大学）
- A Dichotomy for Succinct Representations of Homomorphisms
日本大学: 関与なし（対象大学）
- A General Framework for Learning-Augmented Online Allocation
日本大学: 関与なし（対象大学）
- A Hyperbolic Extension of Kadison-Singer Type Results
日本大学: 関与なし（対象大学）
- A Sparse Johnson-Lindenstrauss Transform Using Fast Hashing
日本大学: 関与なし（対象大学）
- A Tight (1.5+ε)-Approximation for Unsplittable Capacitated Vehicle Routing on Trees
日本大学: 関与なし（対象大学）
- Action Codes
日本大学: 関与なし（対象大学）
- Algebraic Recognition of Regular Functions
日本大学: 関与なし（対象大学）
- An EPTAS for Budgeted Matching and Budgeted Matroid Intersection via Representative Sets
日本大学: 関与なし（対象大学）
- An Efficient Algorithm for All-Pairs Bounded Edge Connectivity
日本大学: 関与なし（対象大学）
- An O(log k)-Approximation for Directed Steiner Tree in Planar Graphs
日本大学: 関与なし（対象大学）
- An Optimal Separation Between Two Property Testing Models for Bounded Degree Directed Graphs
日本大学: 関与なし（対象大学）
- Approximate Model Counting: Is SAT Oracle More Powerful Than NP Oracle?
日本大学: 関与なし（対象大学）
- Approximate Nearest Neighbor for Polygonal Curves Under Fréchet Distance
日本大学: 関与なし（対象大学）
- Approximating Long Cycle Above Dirac’s Guarantee
日本大学: 関与なし（対象大学）
- Approximating Max-Cut on Bounded Degree Graphs: Tighter Analysis of the FKL Algorithm
日本大学: 関与なし（対象大学）
- Approximation Algorithms for Envy-Free Cake Division with Connected Pieces
日本大学: 関与なし（対象大学）
- Approximation Algorithms for Network Design in Non-Uniform Fault Models
日本大学: 関与なし（対象大学）
- Average-Case to (Shifted) Worst-Case Reduction for the Trace Reconstruction Problem
日本大学: 関与なし（対象大学）
- Black-Box Testing Liveness Properties of Partially Observable Stochastic Systems
日本大学: 関与なし（対象大学）
- Breaking the All Subsets Barrier for Min k-Cut
日本大学: 関与なし（対象大学）
- Broadcasting with Random Matrices
日本大学: 関与なし（対象大学）
- Canonical Decompositions in Monadically Stable and Bounded Shrubdepth Graph Classes
日本大学: 関与なし（対象大学）
- Characterising Memory in Infinite Games
日本大学: 関与なし（対象大学）
- Checking Refinement of Asynchronous Programs Against Context-Free Specifications
日本大学: 関与なし（対象大学）
- Cliques in High-Dimensional Geometric Inhomogeneous Random Graphs
日本大学: 関与なし（対象大学）
- Completely Reachable Automata: A Polynomial Algorithm and Quadratic Upper Bounds
日本大学: 関与なし（対象大学）
- Compositionality of Planar Perfect Matchings: A Universal and Complete Fragment of ZW-Calculus
日本大学: 関与なし（対象大学）
- Compound Logics for Modification Problems
日本大学: 関与なし（対象大学）
- Connected k-Center and k-Diameter Clustering
日本大学: 関与なし（対象大学）
- Convergence of the Number of Period Sets in Strings
日本大学: 関与なし（対象大学）
- Coverability in VASS Revisited: Improving Rackoff’s Bound to Obtain Conditional Optimality
日本大学: 関与なし（対象大学）
- Cumulative Memory Lower Bounds for Randomized and Quantum Computation
日本大学: 関与なし（対象大学）
- Decidability of Fully Quantum Nonlocal Games with Noisy Maximally Entangled States
日本大学: 関与なし（対象大学）
- Deterministic Regular Functions of Infinite Words
日本大学: 関与なし（対象大学）
- Dynamic Averaging Load Balancing on Arbitrary Graphs
日本大学: 関与なし（対象大学）
- Efficient Caching with Reserves via Marking
日本大学: 関与なし（対象大学）
- Efficient Data Structures for Incremental Exact and Approximate Maximum Flow
日本大学: 関与なし（対象大学）
- Ellipsoid Fitting up to a Constant
日本大学: 関与なし（対象大学）
- Expander Decomposition with Fewer Inter-Cluster Edges Using a Spectral Cut Player
日本大学: 関与なし（対象大学）
- Fast Approximation of Search Trees on Trees with Centroid Trees
日本大学: 関与なし（対象大学）
- Faster Matroid Partition Algorithms
日本大学: 京都大学
- Faster Parameterized Algorithms for Modification Problems to Minor-Closed Classes
日本大学: 関与なし（対象大学）
- Faster Submodular Maximization for Several Classes of Matroids
日本大学: 関与なし（対象大学）
- Fault-Tolerant ST-Diameter Oracles
日本大学: 関与なし（対象大学）
- Finding Almost Tight Witness Trees
日本大学: 関与なし（対象大学）
- First Order Logic on Pathwidth Revisited Again
日本大学: 関与なし（対象大学）
- Flipper Games for Monadically Stable Graph Classes
日本大学: 関与なし（対象大学）
- Frameworks for Nonclairvoyant Network Design with Deadlines or Delay
日本大学: 関与なし（対象大学）
- Fully Dynamic Shortest Paths and Reachability in Sparse Digraphs
日本大学: 関与なし（対象大学）
- Hardness of Finding Combinatorial Shortest Paths on Graph Associahedra
日本大学: 広島大学 / 慶應義塾大学 / 京都大学 / 九州大学 / 東北大学 / 東京理科大学 / 電気通信大学 / 横浜国立大学
- How to Play Optimally for Regular Objectives?
日本大学: 関与なし（対象大学）
- Improved Approximation Algorithms by Generalizing the Primal-Dual Method Beyond Uncrossable Functions
日本大学: 関与なし（対象大学）
- Improved Hardness Results for the Guided Local Hamiltonian Problem
- Improved Mixing for the Convex Polygon Triangulation Flip Walk
日本大学: 関与なし（対象大学）
- Improved Product-State Approximation Algorithms for Quantum Local Hamiltonians
日本大学: 関与なし（対象大学）
- Incremental Maximization via Continuization
日本大学: 関与なし（対象大学）
- Indiscernibles and Flatness in Monadically Stable and Monadically NIP Classes
日本大学: 関与なし（対象大学）
- Isoperimetric Inequalities for Real-Valued Functions with Applications to Monotonicity Testing
日本大学: 関与なし（対象大学）
- Lasserre Hierarchy for Graph Isomorphism and Homomorphism Indistinguishability
日本大学: 関与なし（対象大学）
- Linear Insertion Deletion Codes in the High-Noise and High-Rate Regimes
日本大学: 関与なし（対象大学）
- List Decoding of Rank-Metric Codes with Row-To-Column Ratio Bigger Than 1/2
日本大学: 関与なし（対象大学）
- Local Computation Algorithms for Hypergraph Coloring - Following Beck’s Approach
日本大学: 関与なし（対象大学）
- Locality in Online, Dynamic, Sequential, and Distributed Graph Algorithms
日本大学: 関与なし（対象大学）
- Low Sample Complexity Participatory Budgeting
日本大学: 関与なし（対象大学）
- Low-Depth Arithmetic Circuit Lower Bounds: Bypassing Set-Multilinearization
日本大学: 関与なし（対象大学）
- Lower Bounds for Pseudo-Deterministic Counting in a Stream
日本大学: 関与なし（対象大学）
- Matching Augmentation via Simultaneous Contractions
日本大学: 関与なし（対象大学）
- Minimum Chain Cover in Almost Linear Time
日本大学: 関与なし（対象大学）
- Monadic NIP in Monotone Classes of Relational Structures
日本大学: 関与なし（対象大学）
- Multi Layer Peeling for Linear Arrangement and Hierarchical Clustering
日本大学: 関与なし（対象大学）
- Nearly Tight Spectral Sparsification of Directed Hypergraphs
日本大学: 東京大学
- Nearly-Linear Time LP Solvers and Rounding Algorithms for Scheduling Problems
日本大学: 関与なし（対象大学）
- Network Satisfaction Problems Solved by k-Consistency
日本大学: 関与なし（対象大学）
- New Additive Emulators
日本大学: 関与なし（対象大学）
- New PRGs for Unbounded-Width/Adaptive-Order Read-Once Branching Programs
日本大学: 関与なし（対象大学）
- New Partitioning Techniques and Faster Algorithms for Approximate Interval Scheduling
日本大学: 関与なし（対象大学）
- Nominal Topology for Data Languages
日本大学: 関与なし（対象大学）
- Nondeterministic Interactive Refutations for Nearest Boolean Vector
日本大学: 関与なし（対象大学）
- On Computing the Vertex Connectivity of 1-Plane Graphs
日本大学: 関与なし（対象大学）
- On Differentially Private Counting on Trees
日本大学: 関与なし（対象大学）
- On Finding Constrained Independent Sets in Cycles
日本大学: 関与なし（対象大学）
- On Range Summary Queries
日本大学: 関与なし（対象大学）
- On Semantically-Deterministic Automata
日本大学: 関与なし（対象大学）
- On Sparsification of Stochastic Packing Problems
日本大学: 関与なし（対象大学）
- On the Complexity of Diameter and Related Problems in Permutation Groups
日本大学: 関与なし（対象大学）
- On the Fine-Grained Complexity of Small-Size Geometric Set Cover and Discrete k-Center for Small k
日本大学: 関与なし（対象大学）
- On the Limits of Decision: the Adjacent Fragment of First-Order Logic
日本大学: 関与なし（対象大学）
- On the Mixing Time of Glauber Dynamics for the Hard-Core and Related Models on G(n,d/n)
日本大学: 関与なし（対象大学）
- Online Demand Scheduling with Failovers
日本大学: 関与なし（対象大学）
- Online Learning and Disambiguations of Partial Concept Classes
日本大学: 関与なし（対象大学）
- Optimal (Degree+1)-Coloring in Congested Clique
日本大学: 関与なし（対象大学）
- Optimal Adjacency Labels for Subgraphs of Cartesian Products
日本大学: 関与なし（対象大学）
- Optimal Decremental Connectivity in Non-Sparse Graphs
日本大学: 関与なし（対象大学）
- Ortho-Radial Drawing in Near-Linear Time
日本大学: 関与なし（対象大学）
- Parallel Self-Testing of EPR Pairs Under Computational Assumptions
日本大学: 関与なし（対象大学）
- Parameter Estimation for Gibbs Distributions
日本大学: 関与なし（対象大学）
- Parameterised and Fine-Grained Subgraph Counting, Modulo 2
日本大学: 関与なし（対象大学）
- Parameterized Complexity of Binary CSP: Vertex Cover, Treedepth, and Related Parameters
日本大学: 関与なし（対象大学）
- Planar #CSP Equality Corresponds to Quantum Isomorphism - A Holant Viewpoint
日本大学: 関与なし（対象大学）