Informatica teorica

2

Riferimento per algoritmo veloce per percorsi più brevi colli di bottiglia

Sto cercando un buon riferimento per i percorsi più brevi colli di bottiglia. In particolare, dati i vertici s et in un grafico non orientato con pesi di bordo, si desidera il percorso più breve da s a t, dove la lunghezza di un percorso è il bordo massimo di …

12 ds.algorithms reference-request graph-algorithms

2

Max-taglio quadrato euclideo in dimensioni ridotte

Lascia che siano punti nel piano . Considera un grafico completo con i punti come vertici e con i pesi dei bordi di . Riesci sempre a trovare un taglio di peso che sia almeno \ frac 2 3 del peso totale? In caso contrario, quale costante dovrebbe sostituire \ …

12 ds.algorithms graph-algorithms application-of-theory max-cut clustering

2

Stima della dimensione VC

Cosa si sa del seguente problema? Data una raccolta di funzioni f : { 0 , 1 } n → { 0 , 1 } , trova una sottocollection più grande S ⊆ C soggetta al vincolo che VC-Dimensione ( S ) ≤ k per un numero intero k .CCCf: …

12 reference-request approximation-algorithms cg.comp-geom lg.learning vc-dimension

6

Assistente di prova per la scrittura di matematica

Vorrei scrivere prove matematiche usando un assistente di prova. Tutto sarà scritto usando la logica del primo ordine (con uguaglianza) e la deduzione naturale. Lo sfondo è la teoria degli insiemi (ZF). Ad esempio, come posso scrivere la seguente prova? Assioma:∀ x ∀ y( x = y↔ ∀ z( z∈ …

12 lo.logic software proof-assistants

2

Il miglior protocollo di comunicazione aliena?

Diciamo che scopriamo civiltà aliene che sono in grado di inviare e ricevere messaggi utilizzando un canale di comunicazione digitale interstellare. (Supponiamo che tu abbia usato onde radio modulate, impulsi laser, riposizionamento di stelle in varie orbite.) Supponiamo che abbiamo deciso di metterci in contatto con loro. Una volta avviata …

12 big-picture communication-complexity

3

Problemi NP-duri sulle grafiche

Questa domanda è simile ai problemi NP-hard sugli alberi : Esiste un gran numero di problemi NP-completi che sono trattabili sui grafici . Ci sono problemi noti che rimangono NP-completi quando sono limitati ai grafici? Per essere più precisi, sono interessato ad esempi in cui l'input è costituito esclusivamente da …

12 cc.complexity-theory np-hardness graph-algorithms

1

Misurare la casualità delle formule CNF

È risaputo che le formule CNF possono essere suddivise approssimativamente in 2 grandi classi: casuale e strutturato. Le formule CNF strutturate, in contrapposizione alle formule casuali CNF, mostrano una sorta di ordine, mostrando modelli che è improbabile che accadano per caso. Tuttavia, si possono trovare formule strutturate che mostrano un …

12 cc.complexity-theory sat randomness symmetry

1

Quale algoritmo c'è dietro akinator o 20q?

Il titolo parla da solo. Ecco Akinator e 20Q . Il principio di questi giochi è di porre a un utente una serie di domande relative a qualche entità scelta dall'utente. E poi scopri cos'è questa entità. Il nucleo dell'algoritmo è trovare la "domanda più utile" ad ogni round, mentre …

12 ds.algorithms

2

Qual è la definizione precisa di Random K-SAT?

Esistono 4 diversi vincoli che possiamo avere durante la definizione di K-SAT casuale. 1) Il numero totale di letterali in una determinata clausola è esattamente K o AT la maggior parte di K 2) Un dato letterale può essere utilizzato con o senza sostituzione nella stessa clausola (A o A …

12 cc.complexity-theory sat randomness phase-transition

2

Quali problemi nella geometria computazionale o nella teoria dei grafi si ritiene siano ?

Questo è inteso come una domanda di follow-up al precedente post di Robin Kothari sui risultati della durezza del tempo polinomiale . In particolare, sono interessato a vedere alcune prove di durezza per problemi che si ritiene abbiano limiti inferiori approssimativamente , e dico approssimativamente per consentire miglioramenti leggermente subcubici …

12 graph-theory cg.comp-geom lower-bounds

2

Variante problema post corrispondenza

Questo è probabilmente piuttosto semplice, ma considera il problema standard di corrispondenza post: Dato e β 1 , ... , β N , trovare una sequenza di indici i 1 , ... , i k tale che alfa i 1 ⋯ α i K = β i 1 ⋯ β …

12 computability fl.formal-languages

2

Problemi di ottimizzazione di MSOL su grafici di larghezza di banda limitata, con predicati di cardinalità

CMSOL sta contando la logica monadica del secondo ordine, cioè una logica di grafici in cui il dominio è l'insieme di vertici e spigoli, ci sono predicati per l'adiacenza vertice-vertice e l'incidenza di vertice-vertice, c'è quantificazione su spigoli, vertici, insiemi di bordi e vertici imposta e esiste un predicato che …

12 ds.algorithms reference-request graph-algorithms descriptive-complexity cliquewidth

1

Limite inferiore migliorato sulla complessità del circuito monotono di corrispondenza perfetta?

Razborov ha dimostrato che ogni circuito monotono che calcola la perfetta funzione di abbinamento per i grafici bipartiti deve avere almeno gate (lo ha chiamato "logico permanente"). Da allora è stato dimostrato un limite inferiore migliore per lo stesso problema? (diciamo ?) Per quanto ricordo questo problema era aperto a …

12 cc.complexity-theory circuit-complexity matching

2

Invertire un elenco usando due code

Questa domanda si ispira a una domanda esistente sulla possibilità di simulare uno stack utilizzando due code in ammortizzato per operazione di stack. La risposta sembra essere sconosciuta. Ecco una domanda più specifica, corrispondente al caso speciale in cui tutte le operazioni PUSH vengono eseguite per prime, seguite da tutte …

12 ds.algorithms ds.data-structures lower-bounds time-complexity sorting

1

Documenti di ricerca C # Generics

Quali sono gli articoli di ricerca più significativi sulle basi dei generici in C # e .NET?

12 pl.programming-languages