Vela

For a graph let denote the minimal number of vertices that include at least one from each maximal clique of (sometimes called the clique transversal number).Is it true that if all maximal cliques in have at least vertices then ?Similarly, estimate for the minimal such that if every maximal clique in has at least vertices then .

Worked, still open.

graph theory · open · 0 attempts

use this record

vela registry pull vfr_37aec80d874a0239
vela reproduce examples/erdos-problems

evidence

unverified AI candidates (2)

gpt-erdos · GPT-5.2 Pro + Deep Research · unverified

These are classical Erdős–Gallai–Tuza questions, and (as far as the public literature indicates) they are still **open in full generality**.

candidate solution ↗

llm-hunter · gpt pro 5.2 · unverified

1 LLM attack(s) recorded (gpt pro 5.2); unverified.

candidate solution ↗

status

open

notary

vela reproduce examples/erdos-problems
  • packet.json · sha256 9c5e9fc6980362b5d756424c8a0b27b1bc4c32deb0f6074d02b46fd8c70a3992

finding.noted · reviewer:will-blair · 1 day

renders the record as of vev_d199cb2e · 1,338 events · hub

Search Vela

Jump to a section, signal, campaign, document, primitive, work path, frontier, record index, atlas, constellation, agent, capability, or full-state search.