-
1
Some hardness escalation results in computational complexity theory
Published 2020Get full text
Thesis -
2
Extensions of Presburger arithmetic and model checking one-counter automata
Published 2016Subjects: “…Computational Complexity Theory…”
Thesis -
3
On nonintegral vertices of 3-SAT problem relaxation polytope
Published 2010-06-01Subjects: Get full text
Article -
4
P Systems with Evolutional Communication and Division Rules
Published 2021-11-01Subjects: Get full text
Article -
5
18.404J / 6.840J Theory of Computation, Fall 2006
Published 2021Subjects: “…Computability, computational complexity theory…”
Get full text
Learning Object -
6
18.404J / 6.840J Theory of Computation, Fall 2002
Published 2002Subjects: Get full text
Learning Object -
7
Discrete Computation: Theory and Open Problems
Published 2023“…Borodin, A. Computational Complexity: Theory and Practice, in Currents in the Theory of Computing, A. …”
Get full text
-
8
The Spectral Norm of Finite Functions
Published 2023“…In many recent results in learning and computational complexity theory which rely on Fourier analysis, the spectral norm plays a key role. …”
Get full text
-
9
A model-independent theory of computational complexity: from patience to precision and beyond
Published 2010“…<p>The field of computational complexity theory--which chiefly aims to quantify the difficulty encountered when performing calculations--is, in the case of conventional computers, correctly practised and well understood (some important and fundamental open questions notwithstanding); however, such understanding is, we argue, lacking when unconventional paradigms are considered. …”
Thesis -
10
Computational Complexity
Published 2017-02-01“…The computational problems posed by CS exhibit intrinsic difficulties that are a major concern in Computational Complexity Theory. [...]…”
Get full text
Article -
11
Nonsequential Computation and Laws of Nature
Published 2023“…Traditionally, computational complexity theory deals with sequential computations. …”
Get full text
-
12
Ray tracing — computing the incomputable?
Published 2014-03-01“…We recall from previous work a model-independent framework of computational complexity theory. Notably for the present paper, the framework allows formalization of the issues of precision that present themselves when one considers physical, error-prone (especially analogue rather than digital) computational systems. …”
Get full text
Article -
13
QUANTUM DISCORD AND QUANTUM COMPUTING - AN APPRAISAL
Published 2011“…Completeness results from computational complexity theory lead to the identification of very disparate problems, and offer a kaleidoscopic view into the realm of quantum enhancements in computation. …”
Journal article -
14
Computational Structure of GPSG Models: Revised Generalized Phrase Structure Grammar
Published 2004“…The primary goal of this report is to demonstrate how considerations from computational complexity theory can inform grammatical theorizing. …”
Get full text
-
15
Complexity of Computation of Dominating Sets in Geo-Mathmetics Algorithm : A Review
Published 2021-02-01“…The dominant sets problem by testing whether γ (G) ≤ K of a given graph is G and K input; It is an electronic card NP machines decision problem in computational complexity theory. Infographics, powerful infographics plus graphic mapping. …”
Get full text
Article -
16
Incremental FPT Delay
Published 2020-05-01“…These results are the first direct connections of collapses in parameterized enumeration complexity to collapses in classical enumeration complexity, parameterized function complexity, classical function complexity, and computational complexity theory.…”
Get full text
Article -
17
The Complexity of Mental Integer Addition
Published 2020-06-01“…An important paradigm in modeling the complexity of mathematical tasks relies on computational complexity theory, in which complexity is measured through the resources (time, space) taken by a Turing machine to carry out the task. …”
Get full text
Article -
18
Contracting projected entangled pair states is average-case hard
Published 2020-01-01“…In higher dimensions, however, a connection to the field of computational complexity theory has shown that the accurate normalization of the two-dimensional tensor networks called projected entangled pair states (PEPS) is #P-complete. …”
Get full text
Article -
19
A Survey of Noninteractive Zero Knowledge Proof System and Its Applications
Published 2014-01-01“…Zero knowledge proof system which has received extensive attention since it was proposed is an important branch of cryptography and computational complexity theory. Thereinto, noninteractive zero knowledge proof system contains only one message sent by the prover to the verifier. …”
Get full text
Article -
20
Task-independent metrics of computational hardness predict human cognitive performance
Published 2022-07-01“…Here, building on insights from computational complexity theory, we quantify the computational hardness of cognitive tasks using a set of task-independent metrics related to the computational resource requirements of individual instances of a task. …”
Get full text
Article