Informatica teorica

2

Considera un grafico cubico casuale collegato divertici, disegnati da -reg (come definito qui , ovvero è pari e due grafici qualsiasi hanno la stessa probabilità).n = | V | G ( n , 3 )G=(V,E)G=(V,E)G=(V,E)n=|V|n=|V|n =|V|G(n,3G(n,3G(n, 3)))3n3n3n Naturalmente ci sono possibili Larghezza Prima Ricerche, uno per ciascun nodo di partenza …

10 graph-theory co.combinatorics

1

Trovare percorsi min-max vertici-disgiunti con una fonte comune su grafici planari

Dato un grafico planare non ponderato e una raccolta di coppie di vertici ( k ≥ 2 è una costante), trova k percorsi disgiunti vertice (tranne la sorgente) da s a t in modo tale che la lunghezza del percorso più lungo sia ridotta al minimo.( s , t1) , …

10 ds.algorithms graph-algorithms

1

Grafico regolare ad alta circonferenza con un ordine totale "localmente uniforme" sui nodi

definizioni Lascia che e che , e siano numeri interi positivi (con ).d r g g > 2 r + 1ϵ > 0ϵ>0\epsilon > 0dddrrrgggg> 2 r + 1g>2r+1g > 2r+1 Sia un grafico finito semplice, regolare, non orientato, con circonferenza di almeno .d gG = ( V, E)G=(V,E)G = …

10 graph-theory co.combinatorics dc.distributed-comp

1

Collegamento di celle per permutazioni di linea e colonna in una griglia finita

Mi piacerebbe sapere se il seguente semplice problema è stato studiato prima e se è nota una soluzione. Sia G una griglia finita (MxN), S un sottoinsieme di celle di G (le "briciole"). Si dice che due briciole siano collegate (localmente) se le loro coordinate differiscono al massimo di uno …

10 ds.algorithms graph-theory graph-algorithms

2

Coprendo un semplice poligono con cerchi

Supponiamo che io abbia un semplice poligono e un intero k . Quali sono alcuni approcci esistenti per trovare il raggio più piccolo r in modo che io possa coprire S con k cerchi di raggio r ? Che ne dici se r è fisso e voglio minimizzare k ?SSSkkkrrrSSSkkkrrrrrrkkk

10 cg.comp-geom planar-graphs set-cover

3

Digitare l'inferenza per le istruzioni imperative diverse dall'assegnazione

Nella mia ricerca di articoli di ricerca sui sistemi di tipi per le lingue imperative, trovo solo soluzioni per una lingua con riferimenti mutabili ma senza strutture di controllo imperative autentiche come operatori composti, loop o condizionali. Quindi non è chiaro come implementare un linguaggio imperativo con inferenza di tipo …

10 reference-request pl.programming-languages type-theory type-inference imperative-programming

3

Riduzione di gravi problemi ai modelli fisici

Sto cercando esempi di problemi difficili (in NP o più difficili) dall'informatica che possono essere ridotti a modelli di processi fisici. Ad esempio, max-2-sat può essere ridotto alla minimizzazione dell'energia in un modello Ising. Vorrei trovare altri esempi di questo tipo di riduzione.

10 cc.complexity-theory reductions physics formal-modeling

1

Durezza del numero cromatico frazionario approssimativo su grafici di gradi limitati

È apx-difficile approssimare il numero cromatico frazionario su grafici con gradi limitati?

10 cc.complexity-theory graph-theory approximation-hardness graph-colouring bounded-degree

1

Può esistere una tale matrice?

Durante il mio lavoro ho riscontrato il seguente problema: Sto cercando di trovare una matrice , per qualsiasi , con le seguenti proprietà:( 0 , 1 )n × nn×nn \times n ( 0 , 1 )(0,1)(0,1)n > 3MMMn > 3n>3n > 3 Il determinante di è pari.MMM Per tutti i …

10 graph-theory co.combinatorics linear-algebra matrices boolean-matrix

1

Sviluppo del dottorato; Tattica di revisione della letteratura

Non sono sicuro se l'area corretta, ma qui va. Avvio di un dottorato di ricerca in Trust and Reputation Management nelle reti di comunicazione (molta teoria dei grafi, analisi probabilistica, ecc.), E ho molte letture davanti a me. Qualcuno può consigliare i modi migliori per gestire la lettura accademica e …

10 soft-question advice-request research-practice

2

Esiste un algoritmo quantistico per l'algoritmo di Deutsch che calcola AND invece di XOR?

L'algoritmo di Deutsch è un noto calcolo quantico f( 0 ) + f( 1 )mod2f(0)+f(1)mod2f(0) + f(1)\mod{2} con una sola valutazione di fff . Se sostituiamo +++ con ⋅⋅\cdot il problema sembra diventare piuttosto diverso. La mia domanda è: esiste un algoritmo quantistico che calcola il valore di f( 0 …

10 reference-request quantum-computing

2

Come mescolare le palle di colore?

Ho 400 palline, di cui 100 rosse, 40 gialle, 50 verdi, 60 blu, 70 viola, 80 nere. (le palle dello stesso colore sono identiche) ho bisogno di un algoritmo di mescolamento efficiente, in modo che dopo il mescolamento, le palle siano in un elenco e Le 3 palline consecutive non …

10 ds.algorithms randomized-algorithms permutations

2

Ordinamento dei punti in modo tale da massimizzare la distanza euclidea minima tra punti consecutivi

Dato un insieme di punti in uno spazio cartesiano 3D, sto cercando un algoritmo che ordinerà questi punti, in modo tale da massimizzare la distanza euclidea minima tra due punti consecutivi. Sarebbe anche utile se l'algoritmo avesse una tendenza verso una distanza euclidea media più alta tra punti consecutivi.

10 graph-algorithms cg.comp-geom optimization

3

Note introduttive sulla parallelizzazione, in particolare schemi di problemi e algoritmi

Sto cercando appunti di lezioni disponibili online o altre risorse che forniscano una buona introduzione alla programmazione parallela, proprio come l'analogo parallelo delle lezioni di base di informatica. Il mio focus è il seguente: mentre sono in grado di parlare di divide & conquistare, algoritmi avidi, programmazione dinamica e simili, …

10 reference-request soft-question dc.parallel-comp survey

1

Trovare ragni spanning

Esiste un algoritmo a tempo polinomiale per trovare - se ne esiste uno - un ragno che si estende su un dato grafico ? Un ragno è un albero con al massimo un nodo con grado maggiore di 2: so che varie condizioni di grado su (essenzialmente, gradi di nodo …

10 ds.algorithms reference-request graph-theory graph-algorithms