6
votes
1answer
172 views
Lagrange four-squares theorem: efficient algorithm with units modulo a prime?
I'm looking at algorithms to construct short paths in a particular Cayley graph defined in terms of quadratic residues. This has led me to consider a variant on Lagrange's four-squ …
0
votes
3answers
183 views
Why do we use priority queues when implementing Dijkstra’s Algorithm? [closed]
Title says it all. Why is the choice of data structure for Dijkstra's algorithm a priority queue, rather than a simple sorted list?
-2
votes
0answers
73 views
Why is Lexicographic BFS minus used in cograph recognition linear? [closed]
In this paper,
the author used a variant of lexBFS called lexBFS minus to do the cograph recognition.
The implementation of lexBFS in this paper is using Partition Refinement Tec …
6
votes
1answer
95 views
Finding a cycle of fixed length in a bipartite graph
Is finding a cycle of fixed even length in a bipartite graph any easier than finding a cycle of fixed even length in a general graph? This question is related to the question on Fi …
4
votes
3answers
83 views
How can I produce ‘canonical’ forms for rooted bipartite graphs?
The graphs I'm interested in are bipartite graphs with a specified root vertex. Because there's a root, all the vertices are 'graded' by their distance from the root. Because the g …
7
votes
3answers
231 views
Finding a cycle of fixed length
Is there any result about the time complexity of finding a cycle of fixed length k in a general graph?
All I know is that Noga Alon et al. use the techinique called "color-coding", …
5
votes
3answers
226 views
Checking if two graphs have the same universal cover
It's possible I just haven't thought hard enough about this, but I've been working at it off and on for a day or two and getting nowhere.
You can define a notion of "covering grap …
6
votes
4answers
238 views
Complexity of testing integer square-freeness
How fast can an algorithm tell if an integer is square-free?
I am interested in both deterministic and randomized algorithms. I also care about both unconditional results and one …
6
votes
7answers
323 views
What are the Applications of Hypergraphs
Hypergraphs are like simple graphs, except that instead of having edges that only connect 2 vertices, their edges are sets of any number of vertices. This happens to mean that all …
5
votes
2answers
220 views
Heaviest Convex Polygon
Suppose we have an arbitrary function $f : \mathbb{R}^2 \to \mathbb{R}$. For any subset $s \subseteq \mathbb{R}^2$, we can define $g_f(s)$ as the integral* of $f$ over the region …
0
votes
0answers
226 views
Who finishes first? probability problem
Consider the following scenario:
We have a number of sequential building blocks (e.g. 12 building blocks, ordered from 1 to 12), distributed randomly (but not necessarily equally …
10
votes
2answers
776 views
Generalization of the shakehands/condom puzzle?
The classic handshake puzzle goes something like this:
"Given that everyone has a different skin disease, how can you safely shake hands with 3 people when you have only 2 glove …
3
votes
3answers
239 views
how to quickly determine whether a given natural number is a power of any other natural number?
We have a natural number $n>1$. We want to determine whether exists any natural numbers $a, k>1$ such that $n = a^k$.
Please suggest a polynomial-time algorithm.
16
votes
1answer
302 views
Groebner basis with group action
At one point my advisor, Mark Haiman, mentioned that it would be nice if there was a way to compute Groebner bases that takes into account a group action.
Does anyone know of a …
0
votes
0answers
114 views
BigO Question - nlogn^8 + n^(3/2) [closed]
I have a question about BigO. I want to know if what im doing is correct in trying to prove these forumlas.
Given the question nlogn^8 + n^(3/2) = O(n^(3/2))
I did the following …
