Informatica teorica

1

Classifica della difficoltà dei problemi di NP in pratica

Questa domanda è strettamente correlata a un altro post: Transizioni di fase in NP Hard Problems ma è in qualche modo diversa. Mentre quella domanda riguarda la durezza di casi particolari di problemi difficili NP, si tratta di classificare la difficoltà degli stessi casi. C'è molta bibliografia sull'effetto noto come …

15 cc.complexity-theory np-hardness sat

1

Mantenimento dell'ordine in una lista in

Il problema di manutenzione dell'ordine (o "mantenimento dell'ordine in un elenco") è supportare le operazioni: singleton: crea un elenco con un elemento, restituisce un puntatore ad esso insertAfter: dato un puntatore a un elemento, inserisce un nuovo elemento dopo di esso, restituendo un puntatore al nuovo elemento delete: dato un …

15 ds.data-structures soft-question pl.programming-languages graph-theory tree cc.complexity-theory pcp co.combinatorics cg.comp-geom pr.probability vc-dimension cc.complexity-theory complexity-classes relativization soft-question advice-request career soft-question research-practice paper-review journals co.combinatorics cc.complexity-theory complexity-classes pr.probability average-case-complexity cc.complexity-theory lo.logic descriptive-complexity finite-model-theory ds.algorithms cc.complexity-theory approximation-hardness csp pcp cc.complexity-theory circuit-complexity

2

Quale struttura di dati persistente per un insieme di elementi parzialmente ordinati?

Ho bisogno di memorizzare insiemi di elementi di tipo a. Tipo A è parzialmente ordinato, quindi confrontando a1un'1a_1 e a2un'2a_2 può tornare minore, maggiore, uguale o incomparabile. Un problema con gli hashtable è che due elementi uguali possono essere rappresentati in modo diverso e non ho accesso a una funzione …

15 ds.data-structures functional-programming sorting

2

Teoria della prova dei biprodotti?

Una categoria ha biprodotti quando gli stessi oggetti sono sia i prodotti che i coprodotti. Qualcuno ha studiato la teoria della prova delle categorie con i biprodotti? Forse l'esempio più noto è la categoria di spazi vettoriali, in cui la somma diretta e le costruzioni dirette del prodotto danno lo …

15 reference-request lo.logic pl.programming-languages type-theory ct.category-theory

1

Approssimazione della funzione universale

È noto tramite il teorema di approssimazione universale che una rete neurale con persino un singolo strato nascosto e una funzione di attivazione arbitraria può approssimare qualsiasi funzione continua. Quali altri modelli ci sono anche approssimatori di funzioni universali

15 machine-learning function approximation

2

Qual è l'origine delle relazioni logiche?

In realtà ho due domande: Chi per primo ha usato le relazioni logiche per mettere in relazione la semantica? Li ho fatti risalire a " Sulla relazione tra semantica diretta e di continuazione " di Reynold , ma non posso affermare di aver fatto una ricerca esaustiva. Ho trovato riferimenti …

15 reference-request pl.programming-languages denotational-semantics logical-relations

3

Fonti per la teoria dei giochi evolutiva algoritmica

Uso il termine del titolo in un senso molto ampio. C'è una notevole quantità di lavoro sulla teoria dei giochi evolutiva, comprese le sue basi matematiche. Mi è stato consigliato "Giochi evolutivi e dinamiche della popolazione", ma non ho ancora approfondito. C'è anche una notevole quantità di lavoro sulla teoria …

15 reference-request gt.game-theory genetic-algorithms evolutionary-game-theory

2

Espressione mu-ricorsiva esplicita per la funzione di Ackerman

Puoi indicarci come sviluppare la funzione di Ackerman (in realtà sono interessato a una versione proposta da Rózsa Péter e Raphael Robinson) tramite operatori mu-ricorsivi standard? Ho provato gli articoli originali di Péter e Robinson, ma l'articolo di Péter usa una lingua diversa dall'inglese e gli articoli di Robinson "Ricorsione …

15 computability

2

Apprendimento PAC quantico

sfondo Le funzioni in A C0UNC0AC^0 sono PAC apprendibili in tempo quasipolinomiale con un algoritmo classico che richiede query scelte casualmente per apprendere un circuito di profondità d [1]. Se non esiste un algoritmo di factoring questo è ottimale [2]. Naturalmente, su un computer quantistico sappiamo come fattorizzare, quindi questo …

15 quantum-computing lg.learning machine-learning open-problem ne.neural-evol

2

Qualcuno ha usato la defunzionalizzazione polimorfica di Pottier e Gauthier in un compilatore modulare?

La defunzionalizzazione è una trasformazione del programma che converte i programmi di ordine superiore in programmi del primo ordine. L'idea è che dato un programma, ci sono solo finitamente molte lambda-astrazioni, quindi è possibile sostituire ogni lambda con un id e ogni applicazione di funzione con una chiamata a una …

15 pl.programming-languages compilers

1

Decomposizione modulare e larghezza della cricca

Sto cercando di comprendere alcuni concetti sulla decomposizione modulare e sui grafici a larghezza di cricca . In questo articolo ("Sui grafici P4-ordinati"), c'è una prova di come risolvere i problemi di ottimizzazione come il numero di cricca o il numero cromatico usando la decomposizione modulare. Risolvendo questi problemi componendo …

15 graph-theory graph-algorithms cliquewidth

1

Colpire una serie di famiglie che si intersecano a coppie

Un set di colpire di una famiglia S={S1,…,Sn}S={S1,…,Sn}\mathcal{S} = \{S_1, \dots, S_n\} è un sottoinsieme di tale che per . Il problema di trovare una serie minima di colpire di una determinata famiglia è NP-difficile in generale, poiché generalizza il problema della copertura dei vertici. Ora la mia domanda è:⋃ …

15 cc.complexity-theory np-hardness approximation-hardness

5

Riferimenti per la decomposizione modulare

Quali sono i buoni documenti / libri per comprendere meglio il potere della decomposizione modulare e le sue proprietà? Sono particolarmente interessato agli aspetti algoritmici della decomposizione modulare. Ho sentito che è possibile trovare una decomposizione modulare di un grafico in tempo lineare. Esiste un algoritmo relativamente semplice per questo? …

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

1

In cerca di documenti e articoli sul Tarskian Möglichkeit

Alcuni retroscena: le logiche a molti valori di Łukasiewicz erano intese come logiche modali e Łukasiewicz ha dato una definizione estesa dell'operatore modale: (che attribuisce a Tarski).◊ A =de f¬ A → A◊UN=def¬UN→UN\Diamond A =_{def} \neg A \to A Questo dà una strana logica modale, con un po 'paradossale, se …

15 reference-request lo.logic proof-theory linear-logic modal-logic

5

Alla ricerca di articoli e articoli su logiche strutturali modali

Sto cercando articoli e articoli sulle logiche substrutturali modali, non sulla semantica delle modalità logiche lineari, ma sulle logiche sostrutturali aumentate con operatori modali standard, ad esempio la sottostrutturale K (qualcosa come MALL con operatore box, necessità e regole K).

15 reference-request lo.logic proof-theory