The heuristics tag has no usage guidance.

**0**

votes

**0**answers

15 views

### A new Class of Matching-based Divide and Conquer Heuristics for TSP?

Under the assumption that $G=:G_0$ is a complete graph with $2^n$ vertices and arbitrary edge weights, the essential idea to construct the shortest Hamilton cycle is to proceed as follows:
i := 0
...

**-2**

votes

**0**answers

110 views

### Truth Table Ranking - I'm no genius. I need help [closed]

I have several billion truth tables that I need to sort by usefulness.
Ideally, I would like a function that would take the table as input and return a ranking between %0 and 100%. Let's call it a ...

**1**

vote

**0**answers

19 views

### Performance guarantee of RLF [closed]

I cannot manage to find the performance guarantee of the Recursive Largest First (RLF) algorithm for approximating the chromatic number of a graph.
I know DSATUR has a $\mathcal{O}(n)$ guarantee, ...

**0**

votes

**0**answers

202 views

### Heuristic probabilistic argument for the Navier-Stokes existence and smoothness conjecture

The Collatz Conjecture is a famous conjecture that has never been proven; nevertheless, there exists a simple heuristic probabilistic argument which supports its truth - in Wikipedia's words, "If one ...

**43**

votes

**2**answers

2k views

### What are reasons to believe that e is not a period?

I hope this rather soft question is suitable for MO, otherwise please migrate it to MSE.
In their paper defining periods [1], Kontsevich and Zagier without further comment state that $e$ is ...

**2**

votes

**2**answers

414 views

### Categories with binary relations as objects

For the category of functions, pairs of functions making commutative diagrams are the canonical morphisms $\alpha:f\rightarrow g$. For binary relations there is an alternative, to consider the ...

**6**

votes

**1**answer

253 views

### Cohen-Lenstra heuristics for totally complex fields

If a number field $K$ is a Galois extension of $\mathbb{Q}$, and $G = \operatorname{Gal}(K/\mathbb{Q})$, then the class group of $K$ is a $\mathbb{Z}[G]$-module, and since $N = \sum_{g \in G} g$ acts ...

**1**

vote

**0**answers

128 views

### Reduce a Combinatorial problem

It is given n sets with k vectors. (k is element-wise positive or zero)
Choose one vector of each set so that the biggest element of the sum of the chosen vectors is minimal.
What i also know but is ...

**1**

vote

**1**answer

57 views

### Heuristic for choosing n-vectors from n-sets

my given problem is:
choose n-vectors from n-sets (one vector from each set) so that the biggest element in the sum of the chosen vectors is minimal. Unfortunately the problem is NP-hard. So I'm ...

**20**

votes

**15**answers

3k views

### Non-rigorous reasoning in rigorous mathematics

I was wondering what role non-rigorous, heuristic type arguments play in rigorous math. Are there examples of rigorous, formal proofs in which a non-rigorous reasoning still plays a central part?
...

**1**

vote

**0**answers

165 views

### unfolding as resolution

Has anyone described 'unfolding' as used in mathematical physics (e.g. on-shell AND off-shell) as analogous to a resolution in algebra - higher derivatives are unfolded in terms of new variables?

**4**

votes

**2**answers

248 views

### Formula in common: How to search for same/similar equations in other knowledge domains?

Hi people
In a recent presentation by Sedgewick, he recounts in 1977 Flajolet noticed that they had a formula in common, both in different domains (see slide 4 in ...

**11**

votes

**0**answers

427 views

### What is the intuition for $\mathbb{Q}^{ab}$ having cohomological dimension $1$?

I frequently talk to people who think of finite fields as arithmetic analogs of punctured discs. This makes some sense: the absolute Galois group of a finite field is the profinite completion of ...

**9**

votes

**2**answers

2k views

### Defining the slowest divergent series

This question might seem too fuzzy, and if so, I will be happy to withdraw it. Until then, here it is:
I know that a method of slowing a divergent series of positive reals is to replace the $n$-th ...

**8**

votes

**0**answers

567 views

### Two different ways to count Mersenne Primes

Hi there, the motivation for this question is to better understand the heuristics of Mersenne primes, and I was motivated by the recent questions (Mersenne quasi-primes) and (Primes in generalized ...

**24**

votes

**1**answer

1k views

### more on “Transalgebraic Theories” (a 19th century yoga)?

Among the talks at occasion of the Galois Bicentennial, one is about "Transalgebraic Theories". Unfortunately I found only this article describing that fascinating idea as " an extremely powerful ...

**3**

votes

**1**answer

406 views

### class groups of unramified cyclic p-extensions of imaginary quadratic fields

Let $K$ be an imaginary quadratic number field with $p$-Sylow-class group $A(K)$ and $L/K$ be an unramified cyclic extension of $K$ of degree $p$ ($p$ prime). Then I am looking for heuristics on
...

**9**

votes

**3**answers

1k views

### Groupoids vs Pseudogroups

(Warning: I'm not an expert in the topic) Let's work in a "geometric" category, for example the category $\mathfrak{Diff}$ of "manifolds" (without the requirements of connectedness and second ...

**2**

votes

**1**answer

193 views

### Possible semantics for categorical co-constness

In category theory a morphism is constant IIF it is absorbing (for left composition).
That is a morphism $k$ from $k:A\rightarrow B$ is constant
if an only if for any two parrallel (same domain and ...

**13**

votes

**6**answers

53k views

### Fourier vs Laplace transforms

In solving a linear system, when would I use a Fourier transform versus a Laplace transform? I am not a mathematician, so the little intuition I have tells me that it could be related to the boundary ...