Informatica teorica

1

Calcolo dell'ellissoide di Löwner-John di un poliedro

L'ellissoide di Löwner-John di un insieme convesso è l'ellissoide a volume minimo (MVE) che lo racchiude. L'ellissoide può essere calcolato usando il metodo di Khachiyan e ci sono una serie di approssimazioni disponibili se C è (lo scafo convesso di) un insieme di punti.CCCCCC Ci sono approssimazioni veloci (cioè basate …

14 cg.comp-geom convex-geometry

1

Migliore complessità comunicativa inferiore al limite della disgiunzione

È noto che nessun protocollo deterministico a due parti è in grado di risolvere il problema di disgiunzione (DISJ) su input -bit senza inviare bit nel peggiore dei casi (vedere, ad esempio, il libro di Kushilevitz e Nisan). Per i protocolli randomizzati con errori limitati, un limite inferiore di , …

14 lower-bounds communication-complexity

2

Set più piccolo non incluso in una raccolta di set

Dato come input un numero intero nnn e un insieme di insiemi di elementi di , qual è la complessità di trovare un insieme di elementi di tale che ha una cardinalità minima e è incluso in nessuno dei set di ?{ 1 , . . . , N } …

14 cc.complexity-theory ds.algorithms

1

È sufficiente che i vincoli del programma lineare siano soddisfatti nelle aspettative?

Nell'articolo Randomized Primal-Dual analysis of RANKING for Online Bipartite Matching , dimostrando che l'algoritmo RANKING è compatibile con , gli autori mostrano che il dual è fattibile in aspettativa (vedi Lemma 3 a pagina 5). La mia domanda è:( 1 - 1e)(1-1e)\left(1 - \frac{1}{e}\right) È sufficiente che i vincoli del …

14 linear-programming randomized-algorithms online-algorithms matching primal-dual

3

Scambi di regali di elefanti bianchi: meccanismi per un'equa divisione

Un gioco popolare durante le feste in Nord America è lo scambio di regali con elefanti bianchi . In breve (ignorando le variazioni) funziona come segue: Ci sono persone e regali incartati. I giocatori vengono ordinati arbitrariamente. Nel round, il giocatore siannnnnnioesimoioesimoi^{\text{th}}ioioi sceglie un regalo incartato e lo avvolge come …

14 gt.game-theory mechanism-design

1

η-conversione vs estensione in estensioni di lambda-calcolo

Sono spesso confuso dalla relazione tra η-conversione ed estensibilità. Modifica: Secondo i commenti, sembra che io sia anche confuso sulla relazione tra equivalenza estensiva ed equivalenza osservativa. Ma almeno in Agda con uguaglianza estensionale per le funzioni (come postulato) e per un calcolo lambda tipicamente semplice (che ha una semantica …

14 pl.programming-languages lambda-calculus

1

Classe di complessità associata a una ricerca esaustiva

Qual è la classe di complessità associata agli algoritmi di ricerca esaustiva? (se ce n'è uno) NP o PSPACE? Esistono modelli ristretti di calcolo che catturano la classe di algoritmi di ricerca esaustivi simili ai modelli per la programmazione avida e dinamica?

14 cc.complexity-theory ds.algorithms reference-request big-picture machine-models

3

Il significato della complessità dello stato negli automi e nelle lingue normali?

Sto leggendo " Concatenazione di lingue regolari e complessità descrittiva " di Galina Jiraskova, 2009 sulla complessità dello stato risultante dalla concatenazione di due lingue regolari (di Galina Jiraskova), ma non riesco a capire quali sarebbero le implicazioni pratiche della complessità dello stato . Il primo banale pensiero che mi …

14 fl.formal-languages automata-theory regular-language

2

Approcci all'IG ispirati al problema del nodo

Problema GI e Knot entrambi sono problemi nel decidere l'equivalenza strutturale degli oggetti matematici. Ci sono risultati che stabiliscono connessioni tra di loro? Sono state esplorate belle connessioni del problema del nodo alla fisica statistica tramite i polinomi del nodo , ci sono risultati simili per ?G IsolioGI Sarebbe particolarmente …

14 cc.complexity-theory reference-request graph-theory graph-isomorphism algebraic-topology

2

0-1 Programmazione lineare: calcolo della formulazione ottimale

Considera lo spazio dimensionale { 0 , 1 } n e lascia che c sia un vincolo lineare della forma a 1 x 1 + a 2 x 2 + a 3 x 3 + . . . + a n - 1 x n - 1 + a n …

14 reference-request co.combinatorics optimization linear-programming convex-optimization

1

Accelerazione dai progressi algoritmici rispetto all'hardware

Ricordo di aver visto uno studio o un articolo qualche tempo fa sostenendo che la maggior parte della velocità vista nei programmi per computer negli ultimi decenni è dovuta a algoritmi migliori piuttosto che a hardware più veloce. Qualcuno conosce lo studio o l'articolo?

14 ds.algorithms reference-request big-picture ar.hardware-architecture

2

Un parametro grafico probabilmente correlato alla larghezza dell'albero

Sono interessato a grafici su nnn vertici che possono essere prodotti tramite il seguente processo. Inizia con un grafico arbitrario GGG su k≤nk≤nk\le n vertici. Etichetta tutti i vertici in GGG come inutilizzati . Produrre un nuovo grafico G′G′G' aggiungendo un nuovo vertice vvv , che è collegato ad uno …

14 ds.algorithms graph-theory treewidth

1

Una descrizione matematica (categorica) delle classi di tipi

Un linguaggio funzionale può essere visto come una categoria in cui i suoi oggetti sono tipi e funzioni di morfismi tra loro. Come si adattano le classi di tipi in questo modello? Presumo che dovremmo considerare solo quelle implementazioni che soddisfano il vincolo che hanno la maggior parte delle classi …

14 lo.logic functional-programming ct.category-theory denotational-semantics type-systems

1

Si può provare usando il teorema di Linial-Mansour-Nisan e la conoscenza dello spettro di di ?

Risultato 1: il teorema di Linial-Mansour-Nisan afferma che il peso quadruplo delle funzioni calcolate dai è concentrato su sottoinsiemi di piccole dimensioni con elevata probabilità.AC0AC0\mathsf{AC}^0 Risultato 2: ha il suo peso di quattro volte concentrato sul coefficiente di grado .P A R I T YPARITY\mathsf{PARITY}nnn Domanda: c'è un modo per …

14 cc.complexity-theory circuit-complexity boolean-functions fourier-analysis

2

Panorama dei sistemi di prova interattivi

La mia prima domanda è se una caratterizzazione del sistema di prove interattive è nota per tutte le classiche classi di complessità. Chiamerei P, NP, PSPACE, EXP, NEXP, EXPSPACE, funzioni ricorsive e ricorsivamente enumerabili classiche (tra le altre). In particolare, una caratterizzazione del sistema di prove interattive è nota per …

14 cc.complexity-theory big-picture interactive-proofs