5
votes
Nonexistence of short integer program sequence which generates squares
If you can do this efficiently, you can factor integers efficiently.
Set $X-Y=N$.
If $X=u^2,Y=v^2$ then $(u^2-v^2)=(u-v)(u+v)=N$ will give the factorization of $N$.
To avoid the trivial solution, add ...
4
votes
Algorithm to evaluate "connectedness" of a binary matrix
You can solve the problem via integer linear programming as follows. Let $$E=\left\{(j_1,j_2)\in[n]\times[n]: j_1 < j_2 \land \lnot \bigwedge_{i=1}^m (a_{ij_1} \lor a_{ij_2})\right\}$$ be the set ...
4
votes
Accepted
Algorithm to evaluate "connectedness" of a binary matrix
Similarly to what Daniel Weber suggested in the comments, construct a graph $G$ on columns as vertices and connect every pair of vertices with an edge whenever the corresponding columns has at least ...
2
votes
Obstacles to computing $\pi(n)$ in $O(n^{2/3-\epsilon})$ time
A recent preprint Computing $\pi(N)$: An elementary approach in $\tilde O(\sqrt N)$ time indeed gave a sieve-like algorithm that takes $\tilde O(\sqrt N)$ time. Their method also generalizes to a ...
1
vote
Common insights into hypothetical complexity of graph problems
Not quite an answer to your general question, but I wanted to mention this paper https://doi.org/10.1002/jgt.21659 that shows how to use any graph not satisfying some coloring property as a gadget in ...
Only top scored, non community-wiki answers of a minimum length are eligible
Related Tags
computational-complexity × 1312algorithms × 238
co.combinatorics × 224
graph-theory × 191
nt.number-theory × 142
lo.logic × 124
computer-science × 120
computability-theory × 107
reference-request × 89
np × 79
computational-number-theory × 60
linear-algebra × 58
gr.group-theory × 44
combinatorial-optimization × 42
matrices × 38
polynomials × 33
ag.algebraic-geometry × 32
oc.optimization-and-control × 32
pr.probability × 29
prime-numbers × 28
discrete-geometry × 26
na.numerical-analysis × 23
graph-colorings × 23
proof-theory × 23
integer-programming × 23