컴퓨터 과학

이 질문은 Computer Science Stack Exchange에서 답변을 얻을 수 있기 때문에 Stack Overflow에서 마이그레이션 되었습니다. 7 년 전에 이주했습니다 . 정규 표현식을 가져와 구문 분석 트리를 생성하기 위해 간단한 정규 표현식 lexer 및 구문 분석기를 작성했습니다. 이 구문 분석 트리에서 비 결정적 유한 상태 오토 마톤을 작성하는 것은 기본 정규 …

26 automata  finite-automata  regular-expressions 

비공식 문제 설명 : 과 같은 문자열이 주어지면, 왼쪽에서 오른쪽으로 빨간색 글자 만 읽으면 파란색 글자 만 읽는 것과 같은 결과를 얻을 수 있도록 일부 글자는 빨간색으로, 일부 글자는 파란색으로 칠하고 (일부는 전혀 아님) 색을 지정하려고합니다.ACCABBABACCABBABACCABBAB 이 예에서는ACCABBABACCABBABA\color{blue}{C}\color{red}{CAB}B\color{blue}{AB} 따라서 는 의 반복되는 하위 시퀀스입니다 . 또한 가장 긴 반복 하위 …

26 algorithms  complexity-theory  np-complete  strings  subsequences 

Blockly 및 친구들과 같은 여러 오픈 소스 비주얼 프로그래밍 도구와 Github에서 호스팅되는 다른 프로젝트를 찾았지만 추상 구문 트리에서 직접 작동하는 것을 찾을 수 없었습니다. 왜 그런가요? 일단 모든 컴파일러가 컴파일 과정에서 소스 코드를 AST로 구문 분석하는 단계가 있음을 알게되면 일부 시각적 프로그래밍 도구가이를 활용하여 프로그래머에게 방법을 제공 할 수 있다는 …

25 programming-languages  language-design  syntax-trees 

상각 시간 에 다음 연산을 지원하는 순서 목록을 유지하기위한 데이터 구조가 있습니까?O ( 1 )O(1)O(1) GetElement (k) : 리스트 의 번째 요소를 반환 합니다.케이kk InsertAfter (x, y) : x 바로 다음에 새 요소 y를 목록에 삽입합니다. Delete (x) : 목록에서 x를 제거합니다. 마지막 두 작업의 경우 x가 데이터 구조에 대한 …

25 data-structures  time-complexity  asymptotics  amortized-analysis 

Halting Problem의 결정 불가능한 증거를 이해하는 데 어려움을 겪고 있습니다. 만약 반환 프로그램 여부 입력에가 정지 왜 우리의 코드를 통과해야 할 모두 와 ?a b P a bH(a,b)H(a,b)H(a,b)aaabbbPPPaaabbb 왜 에 와 와 같은 임의의 입력 을 공급할 수 없습니까?P xH()H()H()PPPxxx

25 computability  turing-machines 

불완전한 프로그램 (예 : I / O 및 / 또는 시스템 전역 상태에 종속 된 상태)에 대해 중지 문제가 결정 불가능한 이유를 이해하는 것은 매우 간단합니다. 그러나 직관적으로, 이상적인 컴퓨터에서 순수한 프로그램의 정지는 정적 분석 등을 통해 결정될 수 있습니다. 이것은 사실입니까? 그렇지 않다면이 주장을 반증하는 반례 나 논문은 무엇입니까?

25 halting-problem  static-analysis 

만약 두 장군의 문제 가 해결 불가능 하다면 우리 인간은 어떻게 일에 동의 할 수 있습니까? 우리는 매일 의사 소통을하며 컴퓨터 과학이 다루는 의사 소통 문제와 같은 한계를 가지고 있습니다. 왜 우리에게 영향을 미치지 않습니까?

25 computer-networks  communication-protocols 

WP 는 페이징에 대한 적절한 토론을 가지고 있다고 생각합니다. 그러나 나는 페이지 프레임 이라는 용어를 반복해서 사용하는 기사에 혼란을 느낍니다 . 프레임과 페이지가 다르다고 생각했습니다. 누군가가 그 차이를 분명히 해 줄 수 있습니까?

25 memory-management 

컴퓨터 과학 전공에게 NP- 완전성을 가르치는 가장 좋은 방법에 대한 질문에 관심이 있습니다. 특히 Karp 축소를 사용하거나 Turing 축소를 사용하여 가르쳐야합니까? NP- 완전성 및 축소 개념은 모든 컴퓨터 과학 전공이 배워야 할 개념이라고 생각합니다. 그러나 NP- 완전성을 가르 칠 때 Karp 감소의 사용에는 몇 가지 단점이 있음을 알았습니다. 우선, 일부 …

25 complexity-theory  np-complete  reductions  education  didactics 

블룸 필터가 효과적으로 다양한 값이 이미 처리 동안 발생했는지 여부를 추적하는 것이 가능하다. 많은 데이터 항목이있는 경우 Bloom 필터는 해시 테이블에서 메모리를 크게 절약 할 수 있습니다. 해시 테이블과 공유하는 Bloom 필터의 주요 기능은 항목이 새 항목이 아닌 경우 항상 "새 항목 아님"이라고 표시하지만 항목이 "새 항목이 아님"으로 표시 될 …

25 reference-request  data-structures  hash  bloom-filters  dictionaries 

다음은 해결하려는 과거 시험의 질문입니다. 양의 가중치 인 무 방향 그래프 경우 최소 컷을 찾으려고합니다. max-flow min-cut 정리를 사용하는 것 외에 다른 방법을 모르겠습니다. 그러나 그래프는 방향이 지정되지 않았으므로 어떻게 지시해야합니까? 양쪽 끝에 가장자리를 지정하려고 생각했지만 소스가 될 정점과 싱크가 될 정점이 무엇입니까? 아니면 최소 컷을 찾는 다른 방법이 있습니까?w …

25 algorithms  graph-theory 

문제를 인코딩하기 위해 SAT 솔버를 사용하고 있으며 SAT 인스턴스의 일부로 부울 변수 있는데 그중 하나가 참이고 나머지는 거짓이어야합니다. . (이것은 때때로 "one-hot"인코딩으로 묘사되는 것을 보았습니다.)x1,x2,…,xnx1,x2,…,xnx_1,x_2,\dots,x_n SAT 에서 제약 조건을 " 중 정확히 하나 여야합니다 "를 인코딩하려고 합니다. SAT 솔버를 최대한 효율적으로 실행하려면이 제약 조건을 인코딩하는 가장 좋은 방법은 무엇입니까?x1,…,xnx1,…,xnx_1,\dots,x_n 이 …

25 satisfiability  sat-solvers  applied-theory 

나는 Kurzweil에 의해 쓰여진 "독점은 가까웠다"는 책을 읽고 있었고, 그는 프레드킨 게이트 와 같은 가역 게이트를 언급했습니다 . 이러한 게이트를 사용하면 비트가 열로 사라지고 계산에 에너지 입력이 필요하지 않은 계산과 관련된 열 낭비를 제거 할 수 있다는 이점이 있습니다. 이러한 가정은이 문들이 기적의 해결책처럼 들리게합니다. 따라서 문제는 여전히 기술적 인 …

25 computer-architecture 

순전히 기능적인 언어로 Prolog 인터프리터를 구현하는 방법에 대한 의사 코드와 함께 명확한 참조가 있습니까? 지금까지 내가 찾은 것은 명령형 언어만을 다루는 것처럼 보이거나, 그 자체로 구현 된 Prolog의 데모 일 뿐이며, 해석에 사용할 구체적인 알고리즘을 제공하지 않습니다. 나는 대답에 매우 감사하겠습니다.

25 functional-programming  prolog  logic-programming 

정규식에 대한 추측은 다음과 같습니다. 정규식 경우 길이괄호와 연산자를 무시하고 그 안에있는 기호의 수 여야합니다. 예 :RRR|R||R||R||0∪1|=|(0∪1)∗|=2|0∪1|=|(0∪1)∗|=2|0 \cup 1| = |(0 \cup 1)^*| = 2 추측 : 만약 및 은 모든 길이의 문자열이하이면 입니다.|R|>1|R|>1|R| > 1L(R)L(R)L(R)|R||R||R|L(R)=Σ∗L(R)=Σ∗L(R) = \Sigma^* 즉, 이 의 길이 까지 '밀도' 이면 실제로 모든 것을 생성합니다.L(R)L(R)L(R)RRRRRR 관련이있는 …

25 formal-languages  regular-languages  regular-expressions