Ciência da Computação

Dado nnn trabalhos J1,J2,...,JnJ1,J2,...,JnJ_1,J_2,...,J_n , cada trabalho exige TEu> 0 , TEu∈ NTi>0,Ti∈NT_i > 0, T_i \in N tempo para completar. Cada trabalho deve ser pré-processado e pós-processado por uma única máquina M que pode lidar com apenas 1 trabalho por vez e as duas fases requerem 1 unidade de …

11 complexity-theory  reference-request  scheduling 

Em um comentário ao Learning F #: que livros usando outras linguagens de programação podem ser traduzidos para o F # para aprender conceitos funcionais? Makarius declarou: Observe que a abordagem "CPS" causou grandes danos ao desempenho em SML / NJ. Seu modelo de avaliação física viola muitas suposições embutidas …

11 compilers  functional-programming  proof-assistants  continuations 

Seja Existe uma máquina de Turing R que decide (não quero dizer, reconhece) o idioma ?L ∅L∅={⟨M⟩∣M is a Turing Machine and L(M)=∅}.L∅={⟨M⟩∣M is a Turing Machine and L(M)=∅}.L_\emptyset = \{\langle M\rangle \mid M \text{ is a Turing Machine and }L(M)=\emptyset\}.L∅L∅L_\emptyset Parece que a mesma técnica usada para mostrar que …

11 turing-machines  computability  undecidability 

Eu sei que o conjunto independente máximo em gráficos sem triângulo cúbico é NP-completo. Ainda é NP-completo no caso de exigirmos que o conjunto independente seja do tamanho exato ?|V|/2|V|/2|V|/2 Basicamente, a instância YES de um problema de conjunto independente em gráficos sem triângulo cúbico deve ter exatamente nós . …

11 complexity-theory  np-complete 

Por exemplo, eu sei que o idioma não regular está em . Eu gostaria de saber mais exemplos como este. A C 0umanbnanbna^nb^nA C0 0AC0AC^0

11 complexity-theory  regular-languages  circuits 

Eu tenho um problema simples de criar um DFA que aceite todas as entradas começando com letras duplas (aa, bb) ou terminando com letras duplas (aa, bb), dado que é o conjunto de determinado idioma.Σ={a,b}Σ={a,b}\Sigma =\{a, b\} Tentei resolvê-lo de uma maneira indireta: Gerando uma expressão regular Fazendo sua NFA …

11 automata  finite-automata 

Como a análise assintótica (big o, little o, big theta, big theta etc.) é definida para funções com múltiplas variáveis? Eu sei que o artigo da Wikipedia tem uma seção, mas ele usa muita notação matemática que eu não conheço. Também encontrei o seguinte artigo: http://people.cis.ksu.edu/~rhowell/asymptotic.pdf No entanto, o artigo …

11 asymptotics  landau-notation 

Existe um algoritmo para o seguinte problema: Dada uma máquina de Turing que decide uma linguagem L , existe uma máquina de Turing decide tal que ?M1M1M_1LLL L t 2 ( n ) = o ( t 1 ( n ) )M2M2M_2LLLt2(n)=o(t1(n))t2(n)=o(t1(n))t_2(n) = o(t_1(n)) As funções e t 2 são …

11 complexity-theory  computability  undecidability  decision-problem 

Deseja melhorar este post? Forneça respostas detalhadas para esta pergunta, incluindo citações e uma explicação de por que sua resposta está correta. Respostas sem detalhes suficientes podem ser editadas ou excluídas. Fui encarregado de construir uma biblioteca de livros sobre algoritmos para nossa pequena empresa (cerca de 15 pessoas). O …

11 algorithms  reference-request  data-structures  books 

Digamos que temos 10 pessoas, cada uma com uma lista de livros favoritos. Para uma determinada pessoa X, gostaria de encontrar um subconjunto especial dos livros de X gostado apenas de X, ou seja, não há outra pessoa que goste de todos os livros no subconjunto especial de X. Penso …

11 algorithms  sets 

Eu tenho um algoritmo recursivo com complexidade de tempo equivalente a escolher elementos k de n com repetição, e estava pensando se poderia obter uma expressão big-O mais simplificada. No meu caso, kkk pode ser maior que nnn e eles crescem independentemente. Especificamente, eu esperaria alguma expressão exponencial explícita. O …

11 asymptotics  combinatorics  runtime-analysis 

O deslocamento cíclico (também chamado de rotação ou conjugação ) de uma linguagem é definido como . De acordo com a wikipedia (e aqui ), as linguagens sem contexto são fechadas nesta operação, com referências a artigos de Oshiba e Maslov. Existe uma prova fácil desse fato?L LL{ y x …

11 formal-languages  context-free  closure-properties 

Considere um gráfico direcionado GGG no qual é possível adicionar dinamicamente arestas e fazer algumas consultas específicas. Exemplo: floresta com conjunto separado Considere o seguinte conjunto de consultas: arrow(u, v) equiv(u, v) find(u) o primeiro adiciona uma seta u→vvocê→vu→v para o gráfico, o segundo decide se u↔∗vvocê↔∗vu↔^*v , o último …

11 algorithms  graphs  search-algorithms  union-find 

Da Wikipedia Recuperação de informação é a atividade de obter recursos de informação relevantes para uma necessidade de informação de uma coleção de recursos de informação. As pesquisas podem ser baseadas em metadados ou na indexação de texto completo. Da Wikipedia A extração de informações (IE) é a tarefa de …

11 data-mining  natural-language-processing 

Disseram-me que os computadores quânticos não são computacionalmente mais poderosos que as máquinas de Turing. Alguém poderia gentilmente ajudar a fornecer algumas referências da literatura que explicassem esse fato?

11 computability  reference-request  turing-machines  quantum-computing