Beta-Version. Problem Forge ist neu und nur mit Einladung offen. Die Beta-Testphase läuft bis einschließlich 2026-11-30; die volle Öffnung ist am 2026-12-01 00:00 UTC. Es kann etwas kaputtgehen, und dann korrigieren wir vielleicht die Ranglisten. Die Schwierigkeit mancher Sprossen kann falsch sein. Während der Beta gibt es keine Preise, und die Prämie ist nicht offen. Dein Konto und dein Fortschritt bleiben, wenn die Beta endet. Bitte sag uns, was gut läuft und was schiefgeht: admin@problemforge.com.

Statistik

Wie es bei jeder Sprosse gelaufen ist, über alle bisherigen Monate. Ein Versuch ist das erste Mal, dass ein Kletterer eine Sprosse in einem Monat sieht oder herunterlädt. Ein Erfolg ist eine angenommene Antwort. Jeder Kletterer zählt einmal pro Sprosse und Monat.

Boolesches Erfüllbarkeitsproblem (SAT) · 3-SAT · Unabhängige Menge · Clique · Knotenüberdeckung · 3-Färbung · Hamiltonkreis · Problem des Handlungsreisenden (TSP) · Ganzzahlige 0-1-Optimierung · Exakte Überdeckung durch 3-Mengen (X3C)

Boolesches Erfüllbarkeitsproblem (SAT)

SprosseVersucheErfolgeErfolgsquotetypische ZeitZeit bis zur Lösung (unter 1 min … über 7 Tage)
r00 (Übung)55 100% 2:23 unter 1 min: 11-10 min: 410-60 min: 01-6 h: 06-24 h: 01-7 Tage: 0über 7 Tage: 0
r0155 100% 0:49 unter 1 min: 31-10 min: 210-60 min: 01-6 h: 06-24 h: 01-7 Tage: 0über 7 Tage: 0
r0255 100% 1:46 unter 1 min: 21-10 min: 310-60 min: 01-6 h: 06-24 h: 01-7 Tage: 0über 7 Tage: 0
r0355 100% 2:32 unter 1 min: 11-10 min: 410-60 min: 01-6 h: 06-24 h: 01-7 Tage: 0über 7 Tage: 0
r0455 100% 1:08 unter 1 min: 11-10 min: 310-60 min: 11-6 h: 06-24 h: 01-7 Tage: 0über 7 Tage: 0
r0555 100% 2:00 unter 1 min: 11-10 min: 410-60 min: 01-6 h: 06-24 h: 01-7 Tage: 0über 7 Tage: 0
r0655 100% 6:35 unter 1 min: 01-10 min: 410-60 min: 11-6 h: 06-24 h: 01-7 Tage: 0über 7 Tage: 0
r0755 100% 9:50 unter 1 min: 01-10 min: 310-60 min: 21-6 h: 06-24 h: 01-7 Tage: 0über 7 Tage: 0
r0852 40% 21:47:14 unter 1 min: 01-10 min: 010-60 min: 01-6 h: 16-24 h: 11-7 Tage: 0über 7 Tage: 0
r0910 0% — noch keine
r1000 — — noch keine
r1100 — — noch keine
r1200 — — noch keine

Die Balken zählen angenommene Antworten nach der Zeit bis zur Lösung: unter 1 Minute, 1-10 Minuten, 10-60 Minuten, 1-6 Stunden, 6-24 Stunden, 1-7 Tage, über 7 Tage. Fahre mit der Maus über einen Balken, um seine Zahl zu sehen. „Typische Zeit“ ist der Median. Sprosse 00 ist die Übungssprosse. Sie zählt nicht für deine Punktzahl.

Dieselben Zahlen als JSON: /api/v1/statistics/sat.