Kraftas nilīgibi
Kraftas nilīgibi (Kraftas-McMillanas nilīgibi) - nilīgibi:
- Parsers ni mazēi skaitātun (MathML ik mazīngi (eksperimentālai): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_i p^{-n_i} \le 1} ,
kwēi Parsers ni mazēi skaitātun (MathML ik mazīngi (eksperimentālai): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle n_i} ast Parsers ni mazēi skaitātun (MathML ik mazīngi (eksperimentālai): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle i} -tas wāngiskas wīrsas gillisku en Parsers ni mazēi skaitātun (MathML ik mazīngi (eksperimentālai): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle p} -āriskasmu garrin. Tūls, per eraīnan senrīnksenin stēisan gīrbin Parsers ni mazēi skaitātun (MathML ik mazīngi (eksperimentālai): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{n_1, \dots, n_N\}} sātwintan Kraftas nilīgibin ast mazīngi teīktun stawīdan Parsers ni mazēi skaitātun (MathML ik mazīngi (eksperimentālai): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle p} -āriskan garrin, kāi šai gīrbjai ast tenēisan wāngiskan wīrsun gilliskwas.
Nilīgibi mazzi būtwei ainawīdai iztarītan en billai stēisan kōdan: Ik Parsers ni mazēi skaitātun (MathML ik mazīngi (eksperimentālai): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{n_1, \dots, n_N\}} ast ilgāi stēisan wīrdan en prefiksiskas kōds kīrsa Parsers ni mazēi skaitātun (MathML ik mazīngi (eksperimentālai): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle p} -elamēntin alfabētan, staddan tenēi sātwina Kraftas nilīgibin. Ik Kraftas nilīgibi ast sātwintan pēr ainuntan senrīnksenin stēisan gīrbin Parsers ni mazēi skaitātun (MathML ik mazīngi (eksperimentālai): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{n_1, \dots, n_N\}} , staddan ast mazīngi teīktun prefiksiskan kōdan kīrsa Parsers ni mazēi skaitātun (MathML ik mazīngi (eksperimentālai): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle p} -elamēntin alfabētan, per kawīdan šai gīrbjai ast ilgāi stēisan wīrdan.
Nilīgibi pastāi padrūktintan en 1949 m. ezze L.G. Kraftan. En 1956 m. B.McMillan ast padrūktinuns šan nilīgibin en spārtaišai fōrmulisnan - tenā ast sātwintan ni tēr per prefiksiskans kōdans, adder dīgi per ainazentliskai dekōdaminans kōdans.
Padrūktinsenis
Padrūktinsenis per Parsers ni mazēi skaitātun (MathML ik mazīngi (eksperimentālai): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle p} -āriskans garrins.
Per dātan Parsers ni mazēi skaitātun (MathML ik mazīngi (eksperimentālai): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle p} -āriskan garrin, etrīnkimai gīrbin Parsers ni mazēi skaitātun (MathML ik mazīngi (eksperimentālai): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle N} mūiseskan adder līgu wisēimans gilliskwans stēisan wāngiskan wīrsun. En eraīnasmu wāngiskan wīrsun sen gilliskwan mazzan nikāi Parsers ni mazēi skaitātun (MathML ik mazīngi (eksperimentālai): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle N} preidāimai pilnan Parsers ni mazēi skaitātun (MathML ik mazīngi (eksperimentālai): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle p} -āriskan garrin. Iz Parsers ni mazēi skaitātun (MathML ik mazīngi (eksperimentālai): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle i} -tan wāngiskan wīrsun sen gilliskwan Parsers ni mazēi skaitātun (MathML ik mazīngi (eksperimentālai): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle n_i} en ōriginālasmu garrin turrimai en nawwasmu garrin Parsers ni mazēi skaitātun (MathML ik mazīngi (eksperimentālai): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle p^{N-n_i}} wāngiskans wīrsuns. Garrin, kawīdan asmai zēidusis turri Parsers ni mazēi skaitātun (MathML ik mazīngi (eksperimentālai): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_i p^{N-n_i}} wāngiskans wīrsuns be turri gilliskwan Parsers ni mazēi skaitātun (MathML ik mazīngi (eksperimentālai): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle N} , tītan tennan ni mazzi tūritun tūls nikāi Parsers ni mazēi skaitātun (MathML ik mazīngi (eksperimentālai): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle p^N} wāngiskans wīrsuns Parsers ni mazēi skaitātun (MathML ik mazīngi (eksperimentālai): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \square}
En āntran pāusan, padrūktinimai kāi Kraftas nilīgibi ast sātwintan per gīrbins Parsers ni mazēi skaitātun (MathML ik mazīngi (eksperimentālai): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{n_1, \dots, n_N\}} . Peisāimai nilīgibin sen summan praēntin wissans gilliskwas wērtibins:
- Parsers ni mazēi skaitātun (MathML ik mazīngi (eksperimentālai): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_j k_j p^{-m_j} \le 1} ,
kwēi Parsers ni mazēi skaitātun (MathML ik mazīngi (eksperimentālai): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle k_j} ast Parsers ni mazēi skaitātun (MathML ik mazīngi (eksperimentālai): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle j} -tas gilliskwas wārstisku. Nilīgibi ast dīgi arwi, ik immimai tennan tēr per pirmans Parsers ni mazēi skaitātun (MathML ik mazīngi (eksperimentālai): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle n} gilliskwans:
- Parsers ni mazēi skaitātun (MathML ik mazīngi (eksperimentālai): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_{j\le n} k_j p^{-m_j} \le 1} .
Iz šan reducītan nilīgibin mazzimai izwestun nilīgibin per Parsers ni mazēi skaitātun (MathML ik mazīngi (eksperimentālai): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle k_n} :
- Parsers ni mazēi skaitātun (MathML ik mazīngi (eksperimentālai): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle k_n \le p^{m_n-m_{n-1}}(p^{m_{n-1}}(1-\sum_{i<n-1}k_i p^{-m_i}) - k_{n-1})} ,
tītat ik Parsers ni mazēi skaitātun (MathML ik mazīngi (eksperimentālai): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle k_{n-1} < f(n-1)} , staddan Parsers ni mazēi skaitātun (MathML ik mazīngi (eksperimentālai): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle k_n \ge 0} be Parsers ni mazēi skaitātun (MathML ik mazīngi (eksperimentālai): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle k_{n} < f(n)} , per rekursīskai definītan funkciōnin:
- Parsers ni mazēi skaitātun (MathML ik mazīngi (eksperimentālai): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(n) = p^{m_n-m_{n-1}}(f(n-1)-k_j), f(1)=p^{m_1}} .
Asmai padrūktinusis, kāi Parsers ni mazēi skaitātun (MathML ik mazīngi (eksperimentālai): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \forall n>0 \ k_n > f(n)} . Teinū sūit pazinātun, kāi funkciōni Parsers ni mazēi skaitātun (MathML ik mazīngi (eksperimentālai): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(n)} pertreppa gīrbin stēisan wīrsun en gilliskwai Parsers ni mazēi skaitātun (MathML ik mazīngi (eksperimentālai): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle m_n} Parsers ni mazēi skaitātun (MathML ik mazīngi (eksperimentālai): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \square}