Copertina

On the computational complexity of Data Flow Analysis

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Sood, Gaurav, Krishnan, K. Murali
Natura:	Preprint
Pubblicazione:	2013
Soggetti:	Computational Complexity 68Q17 F.1.3; D.3.4; F.3.2
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Formula Size-Depth Tradeoffs for Iterated Sub-Permutation Matrix Multiplication
di: Rossman, Benjamin
Pubblicazione: (2024)

I/O complexity and pebble games with partial computations
di: Sobczyk, Aleksandros
Pubblicazione: (2024)

A correspondence between the time and space complexity
di: Latkin, Ivan V.
Pubblicazione: (2023)

Required-edge Cycle Cover Problem: an ASP-Completeness Framework for Graph Problems and Puzzles
di: Susukita, Kosuke, et al.
Pubblicazione: (2026)

Explicit separations between randomized and deterministic Number-on-Forehead communication
di: Kelley, Zander, et al.
Pubblicazione: (2023)

Shifted Partial Derivative Polynomial Rank and Codimension
di: Edwards, Darren J.
Pubblicazione: (2025)

Finitely (In)tractable Promise Constraint Satisfaction Problems
di: Asimi, Kristina, et al.
Pubblicazione: (2020)

Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers
di: Hakoniemi, Tuomas, et al.
Pubblicazione: (2024)

NP-hardness of p-adic linear regression
di: Baker, Gregory D.
Pubblicazione: (2026)

Separation of PSPACE and EXP
di: Czerwinski, Reiner
Pubblicazione: (2021)

CLIQUE as an AND of Polynomial-Sized Monotone Constant-Depth Circuits
di: Bodnar, Levente
Pubblicazione: (2024)

Polynomial Prenexing of QBFs with Non-Monotone Boolean Operators
di: Saffidine, Abdallah, et al.
Pubblicazione: (2025)

Quoridor is PSPACE-Complete
di: Drop, Marius, et al.
Pubblicazione: (2026)

An MDL-Style Cost Functional KC, Distribution-Preserving Reductions ($A2^d$), and an $AC^0$+log Lower Bound for 3SAT via Balanced 3XOR
di: Lela, Marko
Pubblicazione: (2025)

Failure of the strong feasible disjunction property
di: Krajicek, Jan
Pubblicazione: (2026)

IECZ-III: Hardcore Condensation Lift with Size-Aware Invariants
di: Lela, Marko
Pubblicazione: (2025)

Generalisations of Matrix Partitions : Complexity and Obstructions
di: Barsukov, Alexey, et al.
Pubblicazione: (2021)

Quantum Sabotage Complexity
di: Cornelissen, Arjan, et al.
Pubblicazione: (2024)

The Polynomial Hierarchy does not collapse
di: Czerwinski, Reiner
Pubblicazione: (2024)

Levels of Binary Equivalence for the Comparison of Binaries from Alternative Builds
di: Dietrich, Jens, et al.
Pubblicazione: (2024)

An SoS Entropy Dichotomy via Windowed Hypercontractivity
di: Lela, Marko
Pubblicazione: (2025)

Emulation-Completeness of Programming Languages
di: Morse, Gregory, et al.
Pubblicazione: (2026)

TensorRight: Automated Verification of Tensor Graph Rewrites
di: Arora, Jai, et al.
Pubblicazione: (2025)

Hive is PSPACE-Hard
di: Andel, Daniël, et al.
Pubblicazione: (2025)

Insignificant Choice Polynomial Time: A Logic Capturing PTIME
di: Schewe, Klaus-Dieter
Pubblicazione: (2020)

A Formalization of Co-Transcriptional Splicing as an Operation on Formal Languages
di: Cho, Da-Jung, et al.
Pubblicazione: (2025)

Meta Theorem for Hardness on FCP-Problem
di: Nagao, Atsuki, et al.
Pubblicazione: (2025)

Upper and Lower Bounds for the Linear Ordering Principle
di: Hirsch, Edward A., et al.
Pubblicazione: (2025)

Linear Matroid Intersection is in Catalytic Logspace
di: Agarwala, Aryan, et al.
Pubblicazione: (2025)

Oracle Separations for RPH
di: Hamm, Thekla, et al.
Pubblicazione: (2025)

Sign-Rank of $k$-Hamming Distance is Constant
di: Göös, Mika, et al.
Pubblicazione: (2025)

A Note on Avoid vs MCSP
di: Hirsch, Edward A., et al.
Pubblicazione: (2025)

Diagonalization Without Relativization A Closer Look at the Baker-Gill-Solovay Theorem
di: Garcia, Baruch
Pubblicazione: (2026)

Regular Model Checking for Systems with Effectively Regular Reachability Relation
di: Esparza, Javier, et al.
Pubblicazione: (2025)

Fully Dynamic Maintenance of Loop Nesting Forests in Reducible Flow Graphs
di: Morse, Gregory, et al.
Pubblicazione: (2026)

Verified VCG and Verified Compiler for Dafny
di: Nezamabadi, Daniel, et al.
Pubblicazione: (2025)

Near-Optimal Bootstrapping of Hitting Sets for Algebraic Models
di: Kumar, Mrinal, et al.
Pubblicazione: (2018)

Psi-Turing Machines: Bounded Introspection for Complexity Barriers and Oracle Separations
di: Huseynzade, Rafig
Pubblicazione: (2025)

Quantum algorithms through graph composition
di: Cornelissen, Arjan
Pubblicazione: (2025)

Quantum walks through generalized graph composition
di: Cornelissen, Arjan
Pubblicazione: (2025)