computer-science-theory

1열

1답변

최대 흐름과 최소 컷 간의 강한 이중성의 의미

제 질문은 max-flow 및 min-cut 알고리즘에 관한 것입니다. 왜 최대 유량과 최소 유량 사이에 강한 이중성이 있는지 알고 싶습니다.

algorithm math computer-science computer-science-theory 2017-01-18

---

1열

1답변

파생의 무료 문법

는 궁극적으로 나는 촘스키 정규형에 다음 CFG를 변환 할 : S→aSbS∣bSaS∣ε 그러나, 내가 올바르게 유도를하고있어 잘 모르겠어요 - 여기에 내가 무엇을 가지고 : 가 터미널와 비끝 교체 S→aabb S→ε 이 바른 길에/맞다면 누군가가 말해 주시겠습니까? 감사합니다.

context-free-grammar computer-science-theory chomsky-normal-form 2014-10-05

---

0열

2답변

log_2 (n) -log_3 (n)의 점근 적 복잡성은 무엇입니까?

저는 그것이 다음과 같은지 확인하려고합니다 : O (1). 어떻게 증명할 수 있습니까? 복잡도 측면에서 log_b (n)은 log (n)입니다. O (log_2 (n) -log_3 (n)) = O (0) = O (1)입니까? 그건 강한 증거처럼 보이지 않습니다. 또한 이것은 점근 적으로 수렴하지 않으므로 어떻게 O (1)이 될 수 있습니까?

complexity-theory time-complexity asymptotic-complexity computer-science-theory 2013-12-18

---

0열

2답변

찾기 저렴한 방법은 다른 상점에서 아이템을 구입하지만, 상점 그래서 문제 다음 한 한 시간 요금

있습니다 k 저장하고 n 항목이 있습니다. 모든 상점은이 품목들을 다른 가격으로 가질 수 있습니다 (또한 모든 품목을 보유하지 않은 상점이 있음). 그러나 특정 상점에서 구매하려는 경우 일회성 요금을 지불해야하며, 이는 모든 상점마다 다릅니다. 모든 항목을 구입하는 가장 저렴한 방법을 찾는 방법? 내가 지금 가지고있는 유일한 해결책은 가능한 모든 상점 조합

algorithm computer-science computer-science-theory 2014-10-19

---

0열

1답변

OCaml에서 유추 추론 도움말

이 두 함수의 형식이 잘 지정되었는지 어떻게 증명할 수 있습니까? 나는이 질문으로 조금 잃었다. 문제는 할당과 같은 이후 let rec reduce f lst u = match lst with | [] -> u | (h::t) -> f h (reduce f t u) let rec forall2 p l1 l2 = mat

ocaml computer-science-theory proofs 2017-10-18

---

0열

1답변

파이프와 중첩 된 함수 호출

최근 Powershell에서 교육을 받았고 일반적으로 X = Foo (Bar (Hello ("World"))의 표준 중첩 함수 호출 구문을 만드는 복잡한 powershell 함수에서 간단한 데이터 형식을 반환 할 수 없음을 알게되었습니다) 불가능/실용적. PowerShell 솔루션은 x = Hello "World"와 같이 파이핑을 사용합니다. 바 | 푸.

powershell language-design computer-science-theory 2015-02-03

---

4열

1답변

DFA (알파벳 'a'및 'b') 설계 : 문자열의 'a'숫자는 3의 배수 여야하며 문자열에는 'aba'가 포함되지 않아야합니다.

여기에 문제가 있습니다 : 내가 처음에 왔을 때 그리고 여기 추론의 내 라인 :이 이 하나가 힘들 것 같다 위해 정규 표현식을 찾기 어려운 것 같다, 그래서 난 정규 표현식을 변환하기 위해이 경로를 따라 갈 수 없어 DFA에 그래서 그렇게하기로 결정했습니다. 문제의 첫 부분을 보자. 'a'의 수가 3의 배수 인 스트링을 받아 들인다. 이것은 아주 쉽다. 단

finite-automata computer-science-theory finite-state-automaton 2017-01-01

---

0열

1답변

공용 클래스 멤버에 의존하는 함수가 순수한 것으로 간주 될 수 있습니까

this question에 넘어지면 나는 순수 함수를 정의하는 방법에 대해 생각했습니다. 필자는 최상위 응답에서 인용 한 정의와 다소 다른 순수한 함수를 허용하는 두 가지 규칙을 가지고 있습니다. 내 견해가 맞는지 아닌지 아는 데 관심이 있습니다. 내 "2 규칙"은 다음과 같습니다. 이 기능은 프로그램 상태를 변경하지 않습니다. 동일한 인수 인 또는에 대해

function computer-science definition computer-science-theory 2017-11-01

---

0열

1답변

PHP를 설치하면 실제로 무엇이 설치됩니까?

아마도 패러다임/철학적 질문 일 것입니다. 그러나 저는 "PHP를 설치하면 무엇을 설치합니까?"라는 질문을 꽤 많이하고 있습니다. 그것은 통역사/컴파일러인가, 언어 구조 (함수, 구문 요소 등)인가? 아니면 완전히 다른 것입니까? 내가 PHP에서 전문가가 아니에요 내가 열심히 진정으로 이해하고 찾을 수 있도록 더 컴퓨터 과학이없는 ...

php computer-science computer-science-theory 2014-06-11

---

-2열

1답변

세분화는 페이징보다 어떻게 안전합니까?

Galvin에서 메모리 관리를 읽는 동안이 질문이 나에게 발생 했습니까? 내가 이해하지 못했던 두 부분이 있습니다. 첫 번째 질문은 Galvin의 직접적인 질문입니다. 내가 이해하지 못했던 대답은 입니다. "세그먼트 화는 실제 이 아닌 논리적 인 메모리 분할을 기반으로하므로 각 사용자는 의 세그먼트 테이블에서 하나의 항목 만 공유 할 수 있습니다. 페이징을

operating-system memory-segmentation computer-science-theory 2014-11-10

---