컴퓨터 과학

이것은의 후속 질문 이 하나 . 이국적인 상태 머신 에 대한 이전 질문 에서 Alex ten Brink와 Raphael은 고유 한 상태 머신의 계산 기능 : 최소 힙 오토마타를 다루었습니다. 그들은 그러한 기계들 ( HALHALHAL )에 의해 받아 들여진 언어 세트가 문맥이없는 언어 세트의 서브 세트도 아니고 수퍼 세트도 아님 을 …

16 formal-languages  automata  closure-properties 

결정 론적 유한 오토 마톤 (DFA)은 모든 정규 언어 만 수용 할 수있는 상태 머신 모델입니다. DFA는 각 상태가 입력 알파벳의 모든 요소에 대해 약간의 전환을 제공해야하는 방식으로 정의 될 수 있으며 일반적으로 정의 될 수 있습니다. 즉, 전이 함수 는 (총) 함수 여야합니다.δ:Q×Σ→Qδ:Q×Σ→Q\delta : Q \times \Sigma \rightarrow Q …

16 formal-languages  automata  finite-automata 

조직의 기본 논리를 결정하기 위해 조직의 조례를 평가할 수있는 시스템을 고안하려고했습니다. 나는 1 차 술어 시스템이 규칙을 나타내는 데 효과적이라고 생각하는데, 이는 품사 태깅 및 기타 NLP 기술을 통해 텍스트에서 번역 될 수 있습니다. 1 차 논리 규칙을 전체 또는 일부 유형의 ML 아키텍처로 해석하여 요소 사이의 유사성을 찾는 체계적인 …

16 machine-learning  algorithms  pattern-recognition  logic 

빠른 정렬 알고리즘은 다음 단계로 나눌 수 있습니다 피벗을 식별하십시오. 피벗을 기준으로 연결된 목록을 분할하십시오. 연결된 목록을 재귀 적으로 두 부분으로 나눕니다. 이제 항상 마지막 요소를 피벗으로 선택하면 피벗 요소 (1 단계)를 식별하는 데 시간이 걸립니다.O(n)O(n)\mathcal O(n) 피벗 요소를 식별 한 후 데이터를 저장하고 다른 모든 요소와 비교하여 올바른 파티션 …

16 algorithms  algorithm-analysis  sorting  quicksort 

분명히 ReDos 공격은 (다른 유용한) 정규 표현식의 특성을 악용합니다. 본질적으로 NFA에서 정의한 그래프를 통해 가능한 경로를 폭발시킵니다. 동등한 '비악'정규식을 작성하여 이러한 문제를 피할 수 있습니까? 그렇지 않은 경우 (그래서 문법을 NFA가 실제 공간 / 시간에서 처리 할 수없는 경우) 어떤 구문 분석 방법이 더 좋을까요? 왜?

16 regular-expressions  parsers 

당신과 친구가 콘서트 라인에서 서로를 잃었고, 어느 쪽이 더 앞서 있는지 확실하지 않습니다. 공식적으로, 각각은 정수 좌표에 있으며 더 높은 좌표를 향해 걸어가거나 제자리에 머물 수 있습니다. 당신과 당신의 친구가 똑같은 알고리즘을 따르고 있다고 가정하고 (아니면, "if (name =="R B ") 무언가를 수행하지 않을 수도 있습니다 :)) 두 사람 사이의 …

16 algorithms  randomized-algorithms 

이기 때문에 이것이 가능한지 궁금합니다 . 따라서 단어 w ∈ { a n b n c n ∣ n ≥ 0 } 을 나머지 { a ∗ b ∗ c ∗ } 와 구별 할 수있는 PDA 도 받아 들일 수 있습니다.{엔비엔씨엔∣ n ≥ 0 } ∉ C F L{anbncn∣n≥0}∉CFL\{a^n …

16 formal-languages  automata  context-free  pushdown-automata 

다음 Google 코드 잼 1C 질문을 고려하십시오 . 만리 장성은 무한 선으로 시작하여 모든 위치의 높이가 입니다.000 일부 부족 , N ≤ 1000 은 시작일, D , 시작 강도 S , 시작 서쪽 좌표 W 및 시작 동쪽 좌표 E 에 따라 다음과 같은 매개 변수에 따라 벽을 공격합니다 . …

16 algorithms  data-structures  binary-trees 

정의 , • 다각형 평면에서이 직선에 대한 모노톤라고 L 의 경우 직교 모든 라인, L의 교차의 P 최대 두 번.PPPLLLLLLPPP 다각형 주어 , 어떤 광고가 존재하는지 결정하는 것이 가능하다 L 같은 다각형 것을 P는 에 대하여 인 단조를 L ? 그렇다면 어떻게?PPPLLLPPPLLL 이전에, 나는 물었다 관련 질문 (I 다각형이 특정 …

16 algorithms  computational-geometry 

임의의 9x9 격자를 지정하려면 각 사각형의 위치와 값을 지정해야합니다. 이를위한 순진한 인코딩은 81 (x, y, 값)의 트리플렛을 제공 할 수 있으며, 각각의 x, y에 대해 4 비트가 필요하고 총 81x4x3 = 972 비트에 대해 값 (1-9 = 9 값 = 4 비트)이 필요합니다. 각 사각형의 번호를 매기면 위치 정보를 7 …

16 combinatorics  modelling  information-theory  sudoku 

SSA (Static-Single Assignment) 의 Wikipedia 페이지에 따르면 SSA는 LLVM, GCC, MSVC, Mono, Dalvik, SpiderMonkey 및 V8과 같이 크고 잘 알려진 프로젝트에서 사용되는 반면 연속 전달 스타일을 사용 하는 프로젝트 페이지는 SSA를 사용합니다. (CPS) 는 비교가 약간 부족합니다. 필자는 CPS가 주로 기능적 언어를 구현하는 컴파일러와 인터프리터에 의해 선호된다는 개념을 가지고 있습니다. …

16 compilers  program-optimization  continuations 

이 기사 에 따르면 다음 라인의 Lisp 코드는 "Hello world"를 표준 출력으로 인쇄합니다. (format t "hello, world") 호모 닉 언어 인 Lisp는 다음 과 같이 코드를 데이터로 처리 할 수 ​​있습니다. 이제 다음 매크로를 작성했다고 상상해보십시오. (defmacro backwards (expr) (reverse expr)) 뒤로는 매크로의 이름으로, 표현식 (목록으로 표시)을 가져 와서 반대로합니다. …

16 programming-languages  functional-programming 

우리는 최대 흐름 resp를 계산한다는 것을 알고 있습니다. 용량이있는 네트워크의 최소 컷은 동일합니다. cf. 최대 유량 분 컷 정리 . 우리는 최대 흐름을 계산하기위한 알고리즘이 (더 효율적이거나 덜 효율적 임) 있으며, 최대 흐름을 고려한 최소 컷을 계산하는 것도 어렵거나 비싸지 않습니다. 그러나 그 반대는 어떻습니까? 최소 컷이 주어지면 최대 흐름을 …

16 algorithms  graphs  network-flow 

Y 콤비 의 유형은 입니다. Curry-Howard 서신에 따르면, 는 사람이 거주하기 때문에 실제 정리와 일치해야합니다. 그러나 는 항상 true이므로 Y 조합기의 유형이 정리 해당하는 것처럼 보이지만 항상 그렇지는 않습니다. 어떻게 이럴 수있어?( a → a ) → a a → a a( a → a ) → a(ㅏ→ㅏ)→ㅏ(a \rightarrow a) …

16 logic  recursion  type-theory  combinatory-logic  curry-howard 

양자 컴퓨팅에서 알고리즘을 개발할 때 두 가지 주요 모델이 있음을 알았습니다. Hamiltonian NAND 트리 문제 (Farhi, Goldstone, Guttman)와 같은 일부 알고리즘은 Hamiltonian 및 일부 초기 상태를 설계 한 다음 측정을 수행하기 전에 일정 시간 동안 Schrödinger 방정식에 따라 시스템을 진화시켜 작동 합니다.티티t 인수 분해를위한 Shor의 알고리즘과 같은 다른 알고리즘은 측정을 …

16 algorithms  quantum-computing  computation-models