Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options questions only not deleted user 10035

This is a branch that includes: computational complexity theory; complexity classes, NP-completeness and other completeness concepts; oracle analogues of complexity classes; complexity-theoretic computational models; regular languages; context-free languages; Komolgorov Complexity and so on.

3 votes
0 answers
65 views

$n!$ computation in $\mathsf{BSS}$ model

It is well known that if $n!$ cannot be computed in $\mathsf{polylog}(n)$ ring ($\Bbb Z$) operations, then $\mathsf P\neq\mathsf{NP}$ in $\mathsf{BSS}$ model. Suppose if we assume $\mathsf P=\mathsf{ …
Turbo's user avatar
  • 13.9k
7 votes
2 answers
2k views

Strassen's algorithm

I am reading Landsberg's "Tensors: Geometry and Applications". Here he mentions tensor formulation of Strassen's algorithm and shows that the rank of Strassen's matrix multiplication tensor is $7$ and …
Turbo's user avatar
  • 13.9k
7 votes
0 answers
517 views

Is integer GCD in NC?

Wikipedia, in the page http://en.wikipedia.org/wiki/Greatest_common_divisor#Complexity mentions integer GCD is in NC by citing http://www.cs.cornell.edu/courses/CS6820/2012sp/Handouts/Sedjelmaci07.pdf …
Turbo's user avatar
  • 13.9k
1 vote
2 answers
672 views

Finding minimum weight codeword of MDS RS code

For a $[n,k,n-k+1]_q$ Reed Solomon code is there a polynomial time algorithm to find at least one minimum weight $(n-k+1)$ codeword? I searched in literature and I could not find one and hence I am su …
Turbo's user avatar
  • 13.9k
3 votes
1 answer
162 views

Quick tests for Self complementary vertex transitive graphs

Are there any quick tests to determine if a graph is Self complementary vertex transitive? That is if the graph is self complementary vertex transitive the answer should be yes.
Turbo's user avatar
  • 13.9k
2 votes
0 answers
66 views

$3$SAT generation with prescribed number of solutions

Given $n,k\in\Bbb N$ with $0\leq k \leq 2^n$ can we generate an uniformly random instance among all possible solutions of an $n$ variable $3$-SAT instance and exactly $k$ solutions in $poly(n\log k)$ …
Turbo's user avatar
  • 13.9k
1 vote
2 answers
233 views

On complexity of a combinatorial number theoretic problem?

Given the matrix $\begin{bmatrix} r_{11}&\dots&r_{1n}\\ \vdots&\ddots&\vdots\\ r_{m1}&\dots&r_{mn} \end{bmatrix}\in\Bbb Z^{m\times n}$ with $0<r_{ij}<2^n$ and $a,q\in\Bbb Z$ with $|a|,|q|<2^n$ what i …
Turbo's user avatar
  • 13.9k
7 votes
1 answer
535 views

Vertex transitive graphs

Does having vertex transitivity make the problem of calculating independence and chromatic numbers easier?
Turbo's user avatar
  • 13.9k
1 vote
0 answers
143 views

On variant of integer factorization

In the post on site cstheory.stackexchange on whether a variant of integer factorization $$\mathsf{}\mbox{ }{\Pi} = \{\langle a, b, n \rangle \;|\; \exists \mbox{ } \mathsf{ an}\mbox{ }\mathsf{ intege …
Turbo's user avatar
  • 13.9k
2 votes
0 answers
442 views

Bit complexity versus arithmetic complexity of polynomial multiplication

Given degree $d_1$ and $d_2$ polynomials in $\Bbb Z[x]$ with coefficient sizes of bits $b_1$ and $b_2$ respectively (1) what is the bit complexity of multiplying the two polynomials? (2) What is th …
Turbo's user avatar
  • 13.9k
0 votes
1 answer
3k views

Turing and Many one reductions in computability versus complexity

What are some non-trivial (please exclude poly time definitional difference) differences between Turing versus Many-one reductions in computability theory and those that occur in complexity theory?
Turbo's user avatar
  • 13.9k
1 vote
0 answers
75 views

$\mathsf{NP}$ complete version of Skolem arithmetic

Definable subsets of $\mathbb N$ in the language of Presburger arithmetic are exactly the eventually periodic sets and quantifier free part corresponds to Integer Programming with linear inequalities. …
Turbo's user avatar
  • 13.9k
0 votes
0 answers
62 views

On complexity of a particular prime problem

Is the following problem in $PH$ and is it complete for any class? Problem: Is the $i$th bit of the $m$th prime $1$? It appears to require a counting quantifier which has to demonstrate witness is the …
Turbo's user avatar
  • 13.9k
3 votes
3 answers
844 views

A conjecture on a Subset Power Sum Problem motivated by Computer Science

Let $X=\{x_{1}, \cdots , x_{n}\}$ be a set of $n$ positive integers and integer $i \ge 1$. Let’s say that the set $X$ is $i$-sum-avoiding if for any nonnegative integers $c_{1}, \cdots, c_{n}$ such th …
3 votes
0 answers
572 views

Complexity of $\mathsf{gcd}(a,b)\bmod N$

Given $a,b\in\Bbb N$ where each $a,b$ is $n$-bits, we can compute $\mathsf{gcd}(a,b)$ in $cn^{1+\epsilon}$ bit operations for some fixed $c\geq1$. My query is given $N,a,b$ where $a,b$ is $n$-bits an …
Turbo's user avatar
  • 13.9k

1
2 3 4 5 6
15 30 50 per page