Questions tagged [polynomial-time]
The polynomial-time tag has no summary.
130 questions
5 votes
0 answers
168 views
Complexity gaps within P in search vs decision
I happen to be working on a problem whose decision version is trivial (decidable in uniform $\mathsf{AC^0}$) but whose search version is only known to be solvable within $\mathsf{FP}$. I have been ...
-2 votes
1 answer
178 views
Status of the Graph-Isomorphism problem when $n\le k$ for some $k$
Consider a poly-time algorithm that attempts to solve the GI problem on general graphs. However, the algorithm can only guarantee that it correctly decides the problem for a specific range of values ...
5 votes
0 answers
174 views
Can we turn Miller-Rabin primality testing into a deterministic algorithm?
In this answer about the question $BPP \stackrel{?}{=} P$ it is written: To me, the intuitive reason for believing that $BPP = P$ is that if you describe to me a randomized algorithm, then in ...
2 votes
1 answer
126 views
Polynomial-time approximation of poly advice
Let $q : \mathbb{N} \to \Sigma^*$ be in $\mathrm{poly}$ (that is, $|q(n)|$ is polynomially bounded; the definition is essentially the good ol' "advice" from $\mathrm{P/poly}$). Also, let $M \...
1 vote
1 answer
63 views
Polynomial time function with values from cofinite sets
Let $A_n \subseteq \mathbb{N}, n \in \mathbb{N}$ be cofinite, but not necessarily computable as a function of $n$. Does there always exist a function $f$ such that $f$ has a polynomial-time Turing ...
0 votes
1 answer
110 views
Efficiently computing approximations to high dimensional polynomials?
Consider a sequence of polynomials $\{p_n(\cdot)\}_{n=1}^\infty$ where $p_n$ is of degree doubly exponential in $n$, i.e. $deg(p_n) = 2^{2^n}$. Suppose there is an algorithm that on input $1^n$ ...
-5 votes
1 answer
60 views
Seeking Help to Verify Algorithm for Chromatic Number in Polynomial Time
Recently, I wrote a paper (not published yet) about an algorithm that calculates the chromatic number of any graph in polynomial time. I have mathematical proof to support it, but it needs ...
2 votes
1 answer
140 views
On what functions on strings of length $n$ are we able to compute the Kolmogorov complexity and also exhibit an optimal program?
I'm interested in applications of optimal programs that convert one formal language into another (in particular Python to C++) so this seems highly related. I am thinking along the lines of "...
1 vote
0 answers
48 views
3SUM Reduction to Distinct Pairwise Sum [closed]
The 3SUM problem is defined as follows: Given three sets of integers $A,B,C \subseteq \{-W,\ldots,W\}$ for $W = n^3$, each containing $n$ integers, determine whether there exsists some $a \in A, b \in ...
2 votes
0 answers
135 views
Minimizing a submodular function containing summation and production under partition matroid constraint
I'm having difficulty solving the following problem: We're given $n$ sets $X_1,\ldots, X_n$. Each set $X_i=\{(a_i,b_i)\}$ contains poly(n) many ordered pairs of non-negatives with $0\le a_i+b_i\le 1$. ...
1 vote
0 answers
58 views
Are classes of graphs represented by adjacency matrix ordered structures?
We know that FO[LFP] captures PTIME on the class of ordered structures. However, I have difficulties interpreting this result. From what I understand, it means that, given a constant, finite alphabet $...
4 votes
0 answers
91 views
distinguishments between query complexity of membership oracles and standard time complexity
Many combinatorial optimization problems can be described as follows. We are given a set system $(E,I)$, where $I \subseteq 2^E$ and a weight function $w: E \rightarrow \mathbb{N}$. The goal is to ...
1 vote
0 answers
63 views
Find linear combination with small support
Let $v_1,\dots,v_n$ be a basis of a vector subspace of $\Bbbk^N$, say for $\Bbbk$ a finite field. I would like an algorithm to find a linear combination of the $v_i$'s with small support, i.e. with ...
2 votes
0 answers
87 views
Resource bounded Kolmogorov complexity hardness on average over a non uniform distribution of inputs
$K^{poly}$, as well as other related problems such as $MCSP$, is believed to be hard on average [1, 2] when the input is sampled from a uniform distribution (since otherwise one way functions, pseudo-...
7 votes
1 answer
486 views
Fast algorithms for time bounded Kolmogorov complexity
For a universal Turing machine $U$, the time bounded Kolmogorov complexity of a string $x$ is silmilar to the usual Kolmogorov complexity but limited to programs $p$ running in time at most $t(|x|)$: $...