Informatica teorica

2

Generalizzazione dell'algoritmo ungherese a grafici generali non indirizzati?

L'algoritmo ungherese è un algoritmo di ottimizzazione combinatoria che risolve il problema della corrispondenza del peso massimo bipartito in tempi polinomiali e ha anticipato il successivo sviluppo dell'importante metodo primal-dual . L'algoritmo è stato sviluppato e pubblicato da Harold Kuhn nel 1955, che ha dato il nome di "algoritmo ungherese" …

14 graph-theory reference-request graph-algorithms linear-programming primal-dual

2

Giustificazione del metodo ungherese (Kuhn-Munkres)

Ho scritto un'implementazione dell'algoritmo Kuhn-Munkres per il problema della corrispondenza perfetta bipartita di peso minimo basato sugli appunti delle lezioni che ho trovato qua e là sul web. Funziona davvero bene, anche su migliaia di vertici. E sono d'accordo sul fatto che la teoria che sta dietro sia veramente bella. …

14 ds.algorithms graph-theory linear-programming simplex

2

# Problema P-complete la cui versione decisionale è in P

1) È possibile ottenere una riduzione parsimoniosa da un problema # P-completo # A a un problema di conteggio #B quando (la versione della decisione) A è NP-completa e B è in P? Ad esempio, può esserci una riduzione parsimoniosa da #SAT a #B, quando B è in P? 2) …

14 cc.complexity-theory complexity-classes counting-complexity

3

La complessità di verificare se due CNF hanno lo stesso numero di soluzioni

Dato due CNF, se hanno lo stesso numero di incarichi per realizzarli, rispondi "Sì", altrimenti rispondi "No". È facile vedere che è in , poiché se conosciamo il numero esatto di soluzioni a questi due CNF, li accampiamo e rispondiamo "Sì" o "No".P#PP#PP^{\#P} Qual è la complessità di questo problema?

14 cc.complexity-theory complexity-classes counting-complexity

1

Generazione di grafici con automorfismi triviali

Sto rivedendo un modello crittografico. Per dimostrare la sua inadeguatezza, ho escogitato un protocollo inventivo basato sull'isomorfismo grafico. È "banale" (eppure controverso!) Ipotizzare l'esistenza di algoritmi BPP in grado di generare "istanze difficili del problema dell'isomorfismo dei grafi". (Insieme a una testimonianza di isomorfismo.) Nel mio protocollo elaborato, assumerò l'esistenza …

14 graph-theory cr.crypto-security automorphism graph-isomorphism randomized-algorithms

1

Come definire induttivamente una funzione su due argomenti in Coq?

Come posso convincere Coq che la funzione ricorsiva indicata di seguito termina? La funzione accetta due argomenti induttivi. Intuitivamente, la ricorsione termina perché uno dei due argomenti è decomposto. In particolare, la funzione accetta due alberi come input. Inductive Tree := | Tip: Tree | Bin: Tree -> Tree -> …

14 interactive-proofs proof-assistants coq

1

Le riduzioni più interne sono perpetue nel calcolo λ non tipizzato?

(L'ho già chiesto a MathOverflow, ma non ho ricevuto risposte lì.) sfondo Nel calcolo lambda non tipizzato, un termine può contenere molti redexes e diverse scelte su quale ridurre possono produrre risultati selvaggiamente diversi (ad es. ( λ x . y) ( ( λ x . x x ) λ …

14 pl.programming-languages lambda-calculus proof-theory normalization

2

Congetture eccezionali e problemi aperti nella teoria dei giochi (algoritmica)?

Che tipo di congetture e principali problemi aperti sono i più importanti nella teoria dei giochi algoritmica (o teoria dei giochi in generale in relazione alla CS)? Ad esempio, penso che la risoluzione della NASH come completa di PPAD sarebbe stata la più grande fino a quando non è stata …

14 big-list gt.game-theory

3

Hashing associativo

Considera la lista debolmente collegata singolarmente in un ambiente puramente funzionale. Le sue lodi sono state cantate dalle cime delle montagne e continueranno a essere cantate. Qui affronterò uno tra i suoi numerosi punti di forza e la domanda su come estenderlo alla più ampia classe di sequenze puramente funzionali …

14 ds.data-structures cr.crypto-security functional-programming hash-function

1

Caratterizzazione meccanica di

è la classe di problemi di decisione risolvibili da una famiglia dicircuiti di profondità O ( log i n ) con porte OR senza limiti e porte E con limiti limitati. Le negazioni sono consentite solo a livello di input. È noto che S A C i per i ≥ …

14 cc.complexity-theory circuit-complexity space-bounded arithmetic-circuits

2

Limiti inferiori su #SAT?

Il problema #SAT è il problema canonico # P-completo. È un problema di funzione piuttosto che un problema di decisione. Chiede, data una formula booleana nella logica proposizionale, quanti incarichi soddisfacenti ha F. Quali sono i migliori limiti inferiori su #SAT?FFFFFF

14 cc.complexity-theory lower-bounds sat counting-complexity

1

Rilevamento delle relazioni intere per somma sottoinsieme o NPP?

Esiste un modo per codificare un'istanza della somma del sottoinsieme o il problema della partizione numerica in modo che una (piccola) soluzione a una relazione intera dia una risposta? Se non sicuramente, allora in un senso probabilistico? So che LLL (e forse PSLQ) sono stati usati con moderato successo nel …

14 cc.complexity-theory np-hardness approximation-algorithms reductions subset-sum

1

Quali sono gli articoli classici dell'area teorica della ricorsione della teoria della complessità?

Due articoli che vorrei includere sono: D. Kozen, "Indicizzazione delle classi secondarie" , STOC, 1978. R. Ladner, "On the Structure of Polynomial Time Reducibility" , JACM, 1975.

14 cc.complexity-theory lo.logic computability big-list structural-complexity

4

Sottosistema di un albero rosso e nero

Mentre cercavo di correggere un bug in una libreria, ho cercato documenti per trovare subrange su alberi rossi e neri senza successo. Sto prendendo in considerazione una soluzione che utilizza le cerniere lampo e qualcosa di simile alla solita operazione di aggiunta utilizzata sugli algoritmi di eliminazione per strutture di …

14 ds.data-structures tree

1

Caratterizzazione di equivalenze invisibili mediante regole di riscrittura confluenti

In risposta a un'altra domanda, Estensioni della teoria beta del calcolo lambda , Evgenij ha offerto la risposta: beta + la regola {s = t | s e t sono termini irrisolvibili chiusi} in cui un termine M è risolvibile se possiamo trovare una sequenza di termini tali che M …

14 pl.programming-languages lambda-calculus lo.logic