Scienza del computer

1

Dimostrando che la diagnosi del grafico diretto è NP-difficile

Ho un compito a casa contro il quale mi sto scontrando da un po 'di tempo, e apprezzerei qualsiasi suggerimento. Si tratta di scegliere un problema noto, la cui completezza NP è dimostrata, e di costruire una riduzione da quel problema al seguente problema che chiamerò DGD (diagnosi diretta del …

11 complexity-theory np-hard graph-theory

2

Come gestire le matrici durante le prove di correttezza in stile Hoare

Nella discussione intorno a questa domanda , Gilles menziona correttamente che qualsiasi prova di correttezza di un algoritmo che utilizza array deve dimostrare che non vi sono accessi fuori campo fuori campo; a seconda del modello di runtime, ciò provocherebbe un errore di runtime o l'accesso a elementi non array. …

11 proof-techniques semantics arrays hoare-logic software-verification

4

Trovare soluzioni angolari esatte per la programmazione lineare usando i metodi dei punti interni

L'algoritmo simplex cammina avidamente agli angoli di un politopo per trovare la soluzione ottimale al problema di programmazione lineare. Di conseguenza, la risposta è sempre un angolo del politopo. I metodi dei punti interni percorrono l'interno del politopo. Di conseguenza, quando un intero piano del politopo è ottimale (se la …

11 algorithms optimization linear-programming

3

C'è una differenza tra

Attualmente sto imparando il calcolo lambda e mi chiedevo i seguenti due diversi tipi di scrittura di un termine lambda. λxy.xyλxy.xy\lambda xy.xy λx.λy.xyλx.λy.xy\lambda x.\lambda y.xy C'è qualche differenza nel significato o nel modo in cui applichi la riduzione beta, o sono solo due modi per esprimere la stessa cosa? Soprattutto …

11 logic lambda-calculus

1

È possibile derivare una stringa in questo sistema di riscrittura?

Sistema di riscrittura è un insieme di regole, sotto forma di . Se applichiamo quella regola a una stringa sostituiamo qualsiasi sottostringa in con una sottostringa e viceversa.A↔BA↔BA \leftrightarrow BwwwAAAwwwBBB Data una stringa iniziale possiamo derivare nel sistema con le seguenti regole:AAABBAAABBAAABBBAABBAABBAAB A↔BAA↔BAA \leftrightarrow BA BABA↔AABBBABA↔AABBBABA \leftrightarrow AABB AAA↔ABAAA↔ABAAA \leftrightarrow …

11 computability term-rewriting

2

Processo CCS per un distributore di bevande con due prezzi diversi

Un distributore di bevande richiede all'utente di inserire una moneta ( ), quindi premere uno dei tre pulsanti: richiede una tazza di tè , idem per il caffè e richiede un rimborso (ovvero la macchina restituisce la moneta: ). Questo distributore può essere modellato mediante il seguente processo CCS :ˉ …

11 logic concurrency modelling process-algebras ccs

1

È possibile calcolare una sottosequenza di cifre di

Come si può decidere se ha qualche sequenza di cifre? ππ\pimi ha ispirato a chiedermi se la seguente variante dall'aspetto innocente è calcolabile: f(n)={10if n¯ occurs in the decimal representation of πotherwisef(n)={1if n¯ occurs in the decimal representation of π0otherwisef(n) = \begin{cases} 1 & \text{if \(\bar n\) occurs in the …

11 computability real-numbers

3

In che modo gli algoritmi di pathfinding comuni si confrontano con il processo umano

Questo potrebbe confinare con la scienza cognitiva computazionale, ma sono curioso di sapere come il processo seguito da algoritmi di pathfinding comuni (come A * ) si confronta con il processo che gli umani usano in diverse situazioni di pathfinding (date le stesse informazioni). Questi processi sono simili?

11 algorithms graphs artificial-intelligence

2

Come posso dimostrare che questa lingua non è senza contesto?

Ho la seguente lingua {0i1j2k∣0≤i≤j≤k}{0i1j2k∣0≤i≤j≤k}\qquad \{0^i 1^j 2^k \mid 0 \leq i \leq j \leq k\} Sto cercando di determinare in quale classe di lingua Chomsky si adatta. Posso vedere come potrebbe essere realizzato usando una grammatica sensibile al contesto, quindi so che è almeno sensibile al contesto. Sembra che …

11 formal-languages context-free formal-grammars pumping-lemma

3

Come convertire un NFA con cicli sovrapposti in un'espressione regolare?

Se ho capito bene, NFA ha lo stesso potere espressivo delle espressioni regolari. Spesso leggere espressioni regolari equivalenti da NFA è facile: traduci cicli in stelle, incroci come alternative e così via. Ma cosa fare in questo caso: [ fonte ] I cicli sovrapposti rendono difficile vedere cosa accetta questo …

11 algorithms formal-languages finite-automata regular-expressions

1

Un'unione infinita di lingue senza contesto è sempre senza contesto?

Consenti a , , , essere una sequenza linguaggi senza contesto, ognuno dei quali è definito su un alfabeto comune Σ . Sia L l'unione infinita di L_1 , L_2 , L_3 , \ dots ; vale a dire, L = L_1 \ cup L_2 \ cup L_3 \ cup …

11 formal-languages context-free closure-properties

4

Perché archiviare i collegamenti self e parent (. E ..) in una voce della directory?

Prendi in considerazione un file system destinato ad alcuni dispositivi incorporati che fa poco più che archiviare i file in una struttura di directory gerarchica. Questo file system manca di molte delle operazioni a cui potresti essere abituato in sistemi come unix e Windows (ad esempio, le sue autorizzazioni di …

11 operating-systems filesystems

2

Quale tipo di previsione del ramo è più importante?

Ho osservato che ci sono due diversi tipi di stati nella previsione del ramo. Nell'esecuzione superscalare, dove la predizione del ramo è molto importante, ed è principalmente nel ritardo dell'esecuzione piuttosto che nel ritardo del recupero. Nella pipeline di istruzioni, in cui il recupero è più un problema poiché le …

11 cpu-pipelines computer-architecture

5

Una condizione sufficiente e necessaria sulla regolarità di una lingua

Quale delle seguenti affermazioni è corretta? esistono condizioni sufficienti e necessarie sulla regolarità di una lingua ma non ancora scoperte. Non ci sono condizioni sufficienti e necessarie sulla regolarità di una lingua. Il pompaggio del lemma è una condizione necessaria per la non regolarità di una lingua. Pompare il lemma …

11 formal-languages regular-languages

4

Puoi specificare un linguaggio di programmazione senza implementazione?

È teoricamente possibile specificare un linguaggio di programmazione per il quale non potrebbe esistere alcuna implementazione? Un linguaggio di programmazione è un modo per definire le funzioni. Un'implementazione indica un metodo per eseguire un determinato programma in quella lingua su un dato input all'output della funzione corrispondente al programma su …

11 formal-languages computability programming-languages