<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="ru">
		<id>https://discopal.ispras.ru/index.php?action=history&amp;feed=atom&amp;title=Hardprob%2FMinimum_Register_Sufficiency</id>
		<title>Hardprob/Minimum Register Sufficiency - История изменений</title>
		<link rel="self" type="application/atom+xml" href="https://discopal.ispras.ru/index.php?action=history&amp;feed=atom&amp;title=Hardprob%2FMinimum_Register_Sufficiency"/>
		<link rel="alternate" type="text/html" href="https://discopal.ispras.ru/index.php?title=Hardprob/Minimum_Register_Sufficiency&amp;action=history"/>
		<updated>2026-04-14T23:37:22Z</updated>
		<subtitle>История изменений этой страницы в вики</subtitle>
		<generator>MediaWiki 1.26.4</generator>

	<entry>
		<id>https://discopal.ispras.ru/index.php?title=Hardprob/Minimum_Register_Sufficiency&amp;diff=25364&amp;oldid=prev</id>
		<title>StasFomin: Массовая правка: замена PCRE &lt;m&gt;(\w)\s*≤\s*(\w)\s*≤\s*(\w)\s*&lt;/m&gt; на &lt;em&gt;\1 ≤ \2 ≤ \3&lt;/em&gt;</title>
		<link rel="alternate" type="text/html" href="https://discopal.ispras.ru/index.php?title=Hardprob/Minimum_Register_Sufficiency&amp;diff=25364&amp;oldid=prev"/>
				<updated>2023-04-17T23:44:13Z</updated>
		
		<summary type="html">&lt;p&gt;Массовая правка: замена PCRE &amp;lt;m&amp;gt;(\w)\s*≤\s*(\w)\s*≤\s*(\w)\s*&amp;lt;/m&amp;gt; на &amp;lt;em&amp;gt;\1 ≤ \2 ≤ \3&amp;lt;/em&amp;gt;&lt;/p&gt;
&lt;table class='diff diff-contentalign-left'&gt;
				&lt;col class='diff-marker' /&gt;
				&lt;col class='diff-content' /&gt;
				&lt;col class='diff-marker' /&gt;
				&lt;col class='diff-content' /&gt;
				&lt;tr style='vertical-align: top;' lang='ru'&gt;
				&lt;td colspan='2' style=&quot;background-color: white; color:black; text-align: center;&quot;&gt;← Предыдущая&lt;/td&gt;
				&lt;td colspan='2' style=&quot;background-color: white; color:black; text-align: center;&quot;&gt;Версия 23:44, 17 апреля 2023&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l7&quot; &gt;Строка 7:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Строка 7:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;***&amp;#160; &amp;lt;em&amp;gt;S&amp;lt;sub&amp;gt;0&amp;lt;/sub&amp;gt;&amp;lt;/em&amp;gt; — пустое&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;***&amp;#160; &amp;lt;em&amp;gt;S&amp;lt;sub&amp;gt;0&amp;lt;/sub&amp;gt;&amp;lt;/em&amp;gt; — пустое&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;***&amp;#160; &amp;lt;em&amp;gt;S&amp;lt;sub&amp;gt;n&amp;lt;/sub&amp;gt;&amp;lt;/em&amp;gt; — содержит все вершины с нулевой входящей степенью в &amp;lt;em&amp;gt;G&amp;lt;/em&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;***&amp;#160; &amp;lt;em&amp;gt;S&amp;lt;sub&amp;gt;n&amp;lt;/sub&amp;gt;&amp;lt;/em&amp;gt; — содержит все вершины с нулевой входящей степенью в &amp;lt;em&amp;gt;G&amp;lt;/em&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;−&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;***&amp;#160; &amp;lt;&lt;del class=&quot;diffchange diffchange-inline&quot;&gt;m&lt;/del&gt;&amp;gt;1 ≤ i ≤ n&amp;lt;/&lt;del class=&quot;diffchange diffchange-inline&quot;&gt;m&lt;/del&gt;&amp;gt;, &amp;lt;m&amp;gt;v_i ∈ S_i&amp;lt;/m&amp;gt;, &amp;lt;m&amp;gt;S_i - \{v_i\} ⊆ S_{i-1}&amp;lt;/m&amp;gt;, и &amp;lt;m&amp;gt;S_{i-1}&amp;lt;/m&amp;gt; содержит все вершины &amp;lt;em&amp;gt;u&amp;lt;/em&amp;gt;, для которых &amp;lt;m&amp;gt;(v_i,u) ∈&amp;#160; A&amp;lt;/m&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;***&amp;#160; &amp;lt;&lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;em&lt;/ins&gt;&amp;gt;1 ≤ i ≤ n&amp;lt;/&lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;em&lt;/ins&gt;&amp;gt;, &amp;lt;m&amp;gt;v_i ∈ S_i&amp;lt;/m&amp;gt;, &amp;lt;m&amp;gt;S_i - \{v_i\} ⊆ S_{i-1}&amp;lt;/m&amp;gt;, и &amp;lt;m&amp;gt;S_{i-1}&amp;lt;/m&amp;gt; содержит все вершины &amp;lt;em&amp;gt;u&amp;lt;/em&amp;gt;, для которых &amp;lt;m&amp;gt;(v_i,u) ∈&amp;#160; A&amp;lt;/m&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* Минимизировать число регистров,т.е. &amp;lt;em&amp;gt;k&amp;lt;/em&amp;gt;.&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* Минимизировать число регистров,т.е. &amp;lt;em&amp;gt;k&amp;lt;/em&amp;gt;.&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;/table&gt;</summary>
		<author><name>StasFomin</name></author>	</entry>

	<entry>
		<id>https://discopal.ispras.ru/index.php?title=Hardprob/Minimum_Register_Sufficiency&amp;diff=25304&amp;oldid=prev</id>
		<title>StasFomin: Массовая правка: замена PCRE &lt;m&gt;(\w)_(\w),\s*…\s*,\s*(\w)_(\w)&lt;\/m&gt; на &lt;em&gt;\1&lt;sub&gt;\2&lt;/sub&gt;, …, \3&lt;sub&gt;\4&lt;/sub&gt;&lt;/em&gt;</title>
		<link rel="alternate" type="text/html" href="https://discopal.ispras.ru/index.php?title=Hardprob/Minimum_Register_Sufficiency&amp;diff=25304&amp;oldid=prev"/>
				<updated>2023-04-17T22:54:02Z</updated>
		
		<summary type="html">&lt;p&gt;Массовая правка: замена PCRE &amp;lt;m&amp;gt;(\w)_(\w),\s*…\s*,\s*(\w)_(\w)&amp;lt;\/m&amp;gt; на &amp;lt;em&amp;gt;\1&amp;lt;sub&amp;gt;\2&amp;lt;/sub&amp;gt;, …, \3&amp;lt;sub&amp;gt;\4&amp;lt;/sub&amp;gt;&amp;lt;/em&amp;gt;&lt;/p&gt;
&lt;table class='diff diff-contentalign-left'&gt;
				&lt;col class='diff-marker' /&gt;
				&lt;col class='diff-content' /&gt;
				&lt;col class='diff-marker' /&gt;
				&lt;col class='diff-content' /&gt;
				&lt;tr style='vertical-align: top;' lang='ru'&gt;
				&lt;td colspan='2' style=&quot;background-color: white; color:black; text-align: center;&quot;&gt;← Предыдущая&lt;/td&gt;
				&lt;td colspan='2' style=&quot;background-color: white; color:black; text-align: center;&quot;&gt;Версия 22:54, 17 апреля 2023&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l2&quot; &gt;Строка 2:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Строка 2:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* Направленный ациклический граф &amp;lt;em&amp;gt;G=(V,A)&amp;lt;/em&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* Направленный ациклический граф &amp;lt;em&amp;gt;G=(V,A)&amp;lt;/em&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* Найти вычисление на &amp;lt;em&amp;gt;G&amp;lt;/em&amp;gt;, которое использует &amp;lt;em&amp;gt;k&amp;lt;/em&amp;gt; регистров, т.е. &amp;#160;&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* Найти вычисление на &amp;lt;em&amp;gt;G&amp;lt;/em&amp;gt;, которое использует &amp;lt;em&amp;gt;k&amp;lt;/em&amp;gt; регистров, т.е. &amp;#160;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;−&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;** порядок &amp;lt;&lt;del class=&quot;diffchange diffchange-inline&quot;&gt;m&lt;/del&gt;&amp;gt;&lt;del class=&quot;diffchange diffchange-inline&quot;&gt;v_1&lt;/del&gt;, …, &lt;del class=&quot;diffchange diffchange-inline&quot;&gt;v_n&lt;/del&gt;&amp;lt;/&lt;del class=&quot;diffchange diffchange-inline&quot;&gt;m&lt;/del&gt;&amp;gt; на вершинах &amp;lt;em&amp;gt;V&amp;lt;/em&amp;gt; &amp;#160;&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;** порядок &amp;lt;&lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;em&amp;gt;v&amp;lt;sub&amp;gt;1&amp;lt;/sub&lt;/ins&gt;&amp;gt;, …, &lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;v&amp;lt;sub&amp;gt;n&lt;/ins&gt;&amp;lt;/&lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;sub&amp;gt;&amp;lt;/em&lt;/ins&gt;&amp;gt; на вершинах &amp;lt;em&amp;gt;V&amp;lt;/em&amp;gt; &amp;#160;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;−&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;** последовательность &amp;lt;&lt;del class=&quot;diffchange diffchange-inline&quot;&gt;m&lt;/del&gt;&amp;gt;&lt;del class=&quot;diffchange diffchange-inline&quot;&gt;S_0&lt;/del&gt;, …, &lt;del class=&quot;diffchange diffchange-inline&quot;&gt;S_n&lt;/del&gt;&amp;lt;/&lt;del class=&quot;diffchange diffchange-inline&quot;&gt;m&lt;/del&gt;&amp;gt; подмножеств &amp;lt;em&amp;gt;V&amp;lt;/em&amp;gt;, удовлетворяющих&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;** последовательность &amp;lt;&lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;em&amp;gt;S&amp;lt;sub&amp;gt;0&amp;lt;/sub&lt;/ins&gt;&amp;gt;, …, &lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;S&amp;lt;sub&amp;gt;n&lt;/ins&gt;&amp;lt;/&lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;sub&amp;gt;&amp;lt;/em&lt;/ins&gt;&amp;gt; подмножеств &amp;lt;em&amp;gt;V&amp;lt;/em&amp;gt;, удовлетворяющих&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;***&amp;#160; &amp;lt;m&amp;gt;\vert S_i\vert ≤ k&amp;lt;/m&amp;gt; &amp;#160;&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;***&amp;#160; &amp;lt;m&amp;gt;\vert S_i\vert ≤ k&amp;lt;/m&amp;gt; &amp;#160;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;***&amp;#160; &amp;lt;em&amp;gt;S&amp;lt;sub&amp;gt;0&amp;lt;/sub&amp;gt;&amp;lt;/em&amp;gt; — пустое&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;***&amp;#160; &amp;lt;em&amp;gt;S&amp;lt;sub&amp;gt;0&amp;lt;/sub&amp;gt;&amp;lt;/em&amp;gt; — пустое&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;/table&gt;</summary>
		<author><name>StasFomin</name></author>	</entry>

	<entry>
		<id>https://discopal.ispras.ru/index.php?title=Hardprob/Minimum_Register_Sufficiency&amp;diff=25286&amp;oldid=prev</id>
		<title>StasFomin: Массовая правка: замена \ldots на …</title>
		<link rel="alternate" type="text/html" href="https://discopal.ispras.ru/index.php?title=Hardprob/Minimum_Register_Sufficiency&amp;diff=25286&amp;oldid=prev"/>
				<updated>2023-04-17T22:45:11Z</updated>
		
		<summary type="html">&lt;p&gt;Массовая правка: замена \ldots на …&lt;/p&gt;
&lt;table class='diff diff-contentalign-left'&gt;
				&lt;col class='diff-marker' /&gt;
				&lt;col class='diff-content' /&gt;
				&lt;col class='diff-marker' /&gt;
				&lt;col class='diff-content' /&gt;
				&lt;tr style='vertical-align: top;' lang='ru'&gt;
				&lt;td colspan='2' style=&quot;background-color: white; color:black; text-align: center;&quot;&gt;← Предыдущая&lt;/td&gt;
				&lt;td colspan='2' style=&quot;background-color: white; color:black; text-align: center;&quot;&gt;Версия 22:45, 17 апреля 2023&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l2&quot; &gt;Строка 2:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Строка 2:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* Направленный ациклический граф &amp;lt;em&amp;gt;G=(V,A)&amp;lt;/em&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* Направленный ациклический граф &amp;lt;em&amp;gt;G=(V,A)&amp;lt;/em&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* Найти вычисление на &amp;lt;em&amp;gt;G&amp;lt;/em&amp;gt;, которое использует &amp;lt;em&amp;gt;k&amp;lt;/em&amp;gt; регистров, т.е. &amp;#160;&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* Найти вычисление на &amp;lt;em&amp;gt;G&amp;lt;/em&amp;gt;, которое использует &amp;lt;em&amp;gt;k&amp;lt;/em&amp;gt; регистров, т.е. &amp;#160;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;−&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;** порядок &amp;lt;m&amp;gt;v_1, &lt;del class=&quot;diffchange diffchange-inline&quot;&gt;\ldots&lt;/del&gt;, v_n&amp;lt;/m&amp;gt; на вершинах &amp;lt;em&amp;gt;V&amp;lt;/em&amp;gt; &amp;#160;&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;** порядок &amp;lt;m&amp;gt;v_1, &lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;…&lt;/ins&gt;, v_n&amp;lt;/m&amp;gt; на вершинах &amp;lt;em&amp;gt;V&amp;lt;/em&amp;gt; &amp;#160;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;−&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;** последовательность &amp;lt;m&amp;gt;S_0, &lt;del class=&quot;diffchange diffchange-inline&quot;&gt;\ldots&lt;/del&gt;, S_n&amp;lt;/m&amp;gt; подмножеств &amp;lt;em&amp;gt;V&amp;lt;/em&amp;gt;, удовлетворяющих&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;** последовательность &amp;lt;m&amp;gt;S_0, &lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;…&lt;/ins&gt;, S_n&amp;lt;/m&amp;gt; подмножеств &amp;lt;em&amp;gt;V&amp;lt;/em&amp;gt;, удовлетворяющих&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;***&amp;#160; &amp;lt;m&amp;gt;\vert S_i\vert ≤ k&amp;lt;/m&amp;gt; &amp;#160;&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;***&amp;#160; &amp;lt;m&amp;gt;\vert S_i\vert ≤ k&amp;lt;/m&amp;gt; &amp;#160;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;***&amp;#160; &amp;lt;em&amp;gt;S&amp;lt;sub&amp;gt;0&amp;lt;/sub&amp;gt;&amp;lt;/em&amp;gt; — пустое&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;***&amp;#160; &amp;lt;em&amp;gt;S&amp;lt;sub&amp;gt;0&amp;lt;/sub&amp;gt;&amp;lt;/em&amp;gt; — пустое&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;/table&gt;</summary>
		<author><name>StasFomin</name></author>	</entry>

	<entry>
		<id>https://discopal.ispras.ru/index.php?title=Hardprob/Minimum_Register_Sufficiency&amp;diff=25240&amp;oldid=prev</id>
		<title>StasFomin: Массовая правка: замена PCRE &lt;m&gt;(\w)_(\w)&lt;/m&gt; на &lt;em&gt;\1&lt;sub&gt;\2&lt;/sub&gt;&lt;/em&gt;</title>
		<link rel="alternate" type="text/html" href="https://discopal.ispras.ru/index.php?title=Hardprob/Minimum_Register_Sufficiency&amp;diff=25240&amp;oldid=prev"/>
				<updated>2023-04-17T22:33:38Z</updated>
		
		<summary type="html">&lt;p&gt;Массовая правка: замена PCRE &amp;lt;m&amp;gt;(\w)_(\w)&amp;lt;/m&amp;gt; на &amp;lt;em&amp;gt;\1&amp;lt;sub&amp;gt;\2&amp;lt;/sub&amp;gt;&amp;lt;/em&amp;gt;&lt;/p&gt;
&lt;table class='diff diff-contentalign-left'&gt;
				&lt;col class='diff-marker' /&gt;
				&lt;col class='diff-content' /&gt;
				&lt;col class='diff-marker' /&gt;
				&lt;col class='diff-content' /&gt;
				&lt;tr style='vertical-align: top;' lang='ru'&gt;
				&lt;td colspan='2' style=&quot;background-color: white; color:black; text-align: center;&quot;&gt;← Предыдущая&lt;/td&gt;
				&lt;td colspan='2' style=&quot;background-color: white; color:black; text-align: center;&quot;&gt;Версия 22:33, 17 апреля 2023&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l5&quot; &gt;Строка 5:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Строка 5:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;** последовательность &amp;lt;m&amp;gt;S_0, \ldots, S_n&amp;lt;/m&amp;gt; подмножеств &amp;lt;em&amp;gt;V&amp;lt;/em&amp;gt;, удовлетворяющих&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;** последовательность &amp;lt;m&amp;gt;S_0, \ldots, S_n&amp;lt;/m&amp;gt; подмножеств &amp;lt;em&amp;gt;V&amp;lt;/em&amp;gt;, удовлетворяющих&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;***&amp;#160; &amp;lt;m&amp;gt;\vert S_i\vert ≤ k&amp;lt;/m&amp;gt; &amp;#160;&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;***&amp;#160; &amp;lt;m&amp;gt;\vert S_i\vert ≤ k&amp;lt;/m&amp;gt; &amp;#160;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;−&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;***&amp;#160; &amp;lt;&lt;del class=&quot;diffchange diffchange-inline&quot;&gt;m&lt;/del&gt;&amp;gt;&lt;del class=&quot;diffchange diffchange-inline&quot;&gt;S_0&lt;/del&gt;&amp;lt;/&lt;del class=&quot;diffchange diffchange-inline&quot;&gt;m&lt;/del&gt;&amp;gt; — пустое&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;***&amp;#160; &amp;lt;&lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;em&lt;/ins&gt;&amp;gt;&lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;S&amp;lt;sub&amp;gt;0&lt;/ins&gt;&amp;lt;/&lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;sub&amp;gt;&amp;lt;/em&lt;/ins&gt;&amp;gt; — пустое&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;−&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;***&amp;#160; &amp;lt;&lt;del class=&quot;diffchange diffchange-inline&quot;&gt;m&lt;/del&gt;&amp;gt;&lt;del class=&quot;diffchange diffchange-inline&quot;&gt;S_n&lt;/del&gt;&amp;lt;/&lt;del class=&quot;diffchange diffchange-inline&quot;&gt;m&lt;/del&gt;&amp;gt; — содержит все вершины с нулевой входящей степенью в &amp;lt;em&amp;gt;G&amp;lt;/em&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;***&amp;#160; &amp;lt;&lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;em&amp;gt;S&amp;lt;sub&amp;gt;n&amp;lt;/sub&lt;/ins&gt;&amp;gt;&amp;lt;/&lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;em&lt;/ins&gt;&amp;gt; — содержит все вершины с нулевой входящей степенью в &amp;lt;em&amp;gt;G&amp;lt;/em&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;***&amp;#160; &amp;lt;m&amp;gt;1 ≤ i ≤ n&amp;lt;/m&amp;gt;, &amp;lt;m&amp;gt;v_i ∈ S_i&amp;lt;/m&amp;gt;, &amp;lt;m&amp;gt;S_i - \{v_i\} ⊆ S_{i-1}&amp;lt;/m&amp;gt;, и &amp;lt;m&amp;gt;S_{i-1}&amp;lt;/m&amp;gt; содержит все вершины &amp;lt;em&amp;gt;u&amp;lt;/em&amp;gt;, для которых &amp;lt;m&amp;gt;(v_i,u) ∈&amp;#160; A&amp;lt;/m&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;***&amp;#160; &amp;lt;m&amp;gt;1 ≤ i ≤ n&amp;lt;/m&amp;gt;, &amp;lt;m&amp;gt;v_i ∈ S_i&amp;lt;/m&amp;gt;, &amp;lt;m&amp;gt;S_i - \{v_i\} ⊆ S_{i-1}&amp;lt;/m&amp;gt;, и &amp;lt;m&amp;gt;S_{i-1}&amp;lt;/m&amp;gt; содержит все вершины &amp;lt;em&amp;gt;u&amp;lt;/em&amp;gt;, для которых &amp;lt;m&amp;gt;(v_i,u) ∈&amp;#160; A&amp;lt;/m&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* Минимизировать число регистров,т.е. &amp;lt;em&amp;gt;k&amp;lt;/em&amp;gt;.&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* Минимизировать число регистров,т.е. &amp;lt;em&amp;gt;k&amp;lt;/em&amp;gt;.&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;/table&gt;</summary>
		<author><name>StasFomin</name></author>	</entry>

	<entry>
		<id>https://discopal.ispras.ru/index.php?title=Hardprob/Minimum_Register_Sufficiency&amp;diff=25116&amp;oldid=prev</id>
		<title>StasFomin: Массовая правка: замена &lt;m&gt;G=\left(V,A\right)&lt;/m&gt; на &lt;em&gt;G=(V,A)&lt;/em&gt;</title>
		<link rel="alternate" type="text/html" href="https://discopal.ispras.ru/index.php?title=Hardprob/Minimum_Register_Sufficiency&amp;diff=25116&amp;oldid=prev"/>
				<updated>2023-04-17T21:33:55Z</updated>
		
		<summary type="html">&lt;p&gt;Массовая правка: замена &amp;lt;m&amp;gt;G=\left(V,A\right)&amp;lt;/m&amp;gt; на &amp;lt;em&amp;gt;G=(V,A)&amp;lt;/em&amp;gt;&lt;/p&gt;
&lt;table class='diff diff-contentalign-left'&gt;
				&lt;col class='diff-marker' /&gt;
				&lt;col class='diff-content' /&gt;
				&lt;col class='diff-marker' /&gt;
				&lt;col class='diff-content' /&gt;
				&lt;tr style='vertical-align: top;' lang='ru'&gt;
				&lt;td colspan='2' style=&quot;background-color: white; color:black; text-align: center;&quot;&gt;← Предыдущая&lt;/td&gt;
				&lt;td colspan='2' style=&quot;background-color: white; color:black; text-align: center;&quot;&gt;Версия 21:33, 17 апреля 2023&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l1&quot; &gt;Строка 1:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Строка 1:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&amp;lt;!-- start --&amp;gt;&amp;lt;!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&amp;lt;!-- start --&amp;gt;&amp;lt;!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;−&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* Направленный ациклический граф &amp;lt;&lt;del class=&quot;diffchange diffchange-inline&quot;&gt;m&lt;/del&gt;&amp;gt;G=&lt;del class=&quot;diffchange diffchange-inline&quot;&gt;\left&lt;/del&gt;(V,A&lt;del class=&quot;diffchange diffchange-inline&quot;&gt;\right&lt;/del&gt;)&amp;lt;/&lt;del class=&quot;diffchange diffchange-inline&quot;&gt;m&lt;/del&gt;&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* Направленный ациклический граф &amp;lt;&lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;em&lt;/ins&gt;&amp;gt;G=(V,A)&amp;lt;/&lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;em&lt;/ins&gt;&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* Найти вычисление на &amp;lt;em&amp;gt;G&amp;lt;/em&amp;gt;, которое использует &amp;lt;em&amp;gt;k&amp;lt;/em&amp;gt; регистров, т.е. &amp;#160;&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* Найти вычисление на &amp;lt;em&amp;gt;G&amp;lt;/em&amp;gt;, которое использует &amp;lt;em&amp;gt;k&amp;lt;/em&amp;gt; регистров, т.е. &amp;#160;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;** порядок &amp;lt;m&amp;gt;v_1, \ldots, v_n&amp;lt;/m&amp;gt; на вершинах &amp;lt;em&amp;gt;V&amp;lt;/em&amp;gt; &amp;#160;&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;** порядок &amp;lt;m&amp;gt;v_1, \ldots, v_n&amp;lt;/m&amp;gt; на вершинах &amp;lt;em&amp;gt;V&amp;lt;/em&amp;gt; &amp;#160;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;/table&gt;</summary>
		<author><name>StasFomin</name></author>	</entry>

	<entry>
		<id>https://discopal.ispras.ru/index.php?title=Hardprob/Minimum_Register_Sufficiency&amp;diff=25079&amp;oldid=prev</id>
		<title>StasFomin: Массовая правка: замена \leq на ≤</title>
		<link rel="alternate" type="text/html" href="https://discopal.ispras.ru/index.php?title=Hardprob/Minimum_Register_Sufficiency&amp;diff=25079&amp;oldid=prev"/>
				<updated>2023-04-17T21:26:17Z</updated>
		
		<summary type="html">&lt;p&gt;Массовая правка: замена \leq на ≤&lt;/p&gt;
&lt;table class='diff diff-contentalign-left'&gt;
				&lt;col class='diff-marker' /&gt;
				&lt;col class='diff-content' /&gt;
				&lt;col class='diff-marker' /&gt;
				&lt;col class='diff-content' /&gt;
				&lt;tr style='vertical-align: top;' lang='ru'&gt;
				&lt;td colspan='2' style=&quot;background-color: white; color:black; text-align: center;&quot;&gt;← Предыдущая&lt;/td&gt;
				&lt;td colspan='2' style=&quot;background-color: white; color:black; text-align: center;&quot;&gt;Версия 21:26, 17 апреля 2023&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l4&quot; &gt;Строка 4:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Строка 4:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;** порядок &amp;lt;m&amp;gt;v_1, \ldots, v_n&amp;lt;/m&amp;gt; на вершинах &amp;lt;em&amp;gt;V&amp;lt;/em&amp;gt; &amp;#160;&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;** порядок &amp;lt;m&amp;gt;v_1, \ldots, v_n&amp;lt;/m&amp;gt; на вершинах &amp;lt;em&amp;gt;V&amp;lt;/em&amp;gt; &amp;#160;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;** последовательность &amp;lt;m&amp;gt;S_0, \ldots, S_n&amp;lt;/m&amp;gt; подмножеств &amp;lt;em&amp;gt;V&amp;lt;/em&amp;gt;, удовлетворяющих&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;** последовательность &amp;lt;m&amp;gt;S_0, \ldots, S_n&amp;lt;/m&amp;gt; подмножеств &amp;lt;em&amp;gt;V&amp;lt;/em&amp;gt;, удовлетворяющих&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;−&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;***&amp;#160; &amp;lt;m&amp;gt;\vert S_i\vert &lt;del class=&quot;diffchange diffchange-inline&quot;&gt;\leq &lt;/del&gt;k&amp;lt;/m&amp;gt; &amp;#160;&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;***&amp;#160; &amp;lt;m&amp;gt;\vert S_i\vert &lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;≤ &lt;/ins&gt;k&amp;lt;/m&amp;gt; &amp;#160;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;***&amp;#160; &amp;lt;m&amp;gt;S_0&amp;lt;/m&amp;gt; — пустое&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;***&amp;#160; &amp;lt;m&amp;gt;S_0&amp;lt;/m&amp;gt; — пустое&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;***&amp;#160; &amp;lt;m&amp;gt;S_n&amp;lt;/m&amp;gt; — содержит все вершины с нулевой входящей степенью в &amp;lt;em&amp;gt;G&amp;lt;/em&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;***&amp;#160; &amp;lt;m&amp;gt;S_n&amp;lt;/m&amp;gt; — содержит все вершины с нулевой входящей степенью в &amp;lt;em&amp;gt;G&amp;lt;/em&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;−&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;***&amp;#160; &amp;lt;m&amp;gt;1 &lt;del class=&quot;diffchange diffchange-inline&quot;&gt;\leq &lt;/del&gt;i &lt;del class=&quot;diffchange diffchange-inline&quot;&gt;\leq &lt;/del&gt;n&amp;lt;/m&amp;gt;, &amp;lt;m&amp;gt;v_i ∈ S_i&amp;lt;/m&amp;gt;, &amp;lt;m&amp;gt;S_i - \{v_i\} ⊆ S_{i-1}&amp;lt;/m&amp;gt;, и &amp;lt;m&amp;gt;S_{i-1}&amp;lt;/m&amp;gt; содержит все вершины &amp;lt;em&amp;gt;u&amp;lt;/em&amp;gt;, для которых &amp;lt;m&amp;gt;(v_i,u) ∈&amp;#160; A&amp;lt;/m&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;***&amp;#160; &amp;lt;m&amp;gt;1 &lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;≤ &lt;/ins&gt;i &lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;≤ &lt;/ins&gt;n&amp;lt;/m&amp;gt;, &amp;lt;m&amp;gt;v_i ∈ S_i&amp;lt;/m&amp;gt;, &amp;lt;m&amp;gt;S_i - \{v_i\} ⊆ S_{i-1}&amp;lt;/m&amp;gt;, и &amp;lt;m&amp;gt;S_{i-1}&amp;lt;/m&amp;gt; содержит все вершины &amp;lt;em&amp;gt;u&amp;lt;/em&amp;gt;, для которых &amp;lt;m&amp;gt;(v_i,u) ∈&amp;#160; A&amp;lt;/m&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* Минимизировать число регистров,т.е. &amp;lt;em&amp;gt;k&amp;lt;/em&amp;gt;.&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* Минимизировать число регистров,т.е. &amp;lt;em&amp;gt;k&amp;lt;/em&amp;gt;.&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;/table&gt;</summary>
		<author><name>StasFomin</name></author>	</entry>

	<entry>
		<id>https://discopal.ispras.ru/index.php?title=Hardprob/Minimum_Register_Sufficiency&amp;diff=25030&amp;oldid=prev</id>
		<title>StasFomin: Массовая правка: замена \in на ∈</title>
		<link rel="alternate" type="text/html" href="https://discopal.ispras.ru/index.php?title=Hardprob/Minimum_Register_Sufficiency&amp;diff=25030&amp;oldid=prev"/>
				<updated>2023-04-17T18:01:15Z</updated>
		
		<summary type="html">&lt;p&gt;Массовая правка: замена \in на ∈&lt;/p&gt;
&lt;table class='diff diff-contentalign-left'&gt;
				&lt;col class='diff-marker' /&gt;
				&lt;col class='diff-content' /&gt;
				&lt;col class='diff-marker' /&gt;
				&lt;col class='diff-content' /&gt;
				&lt;tr style='vertical-align: top;' lang='ru'&gt;
				&lt;td colspan='2' style=&quot;background-color: white; color:black; text-align: center;&quot;&gt;← Предыдущая&lt;/td&gt;
				&lt;td colspan='2' style=&quot;background-color: white; color:black; text-align: center;&quot;&gt;Версия 18:01, 17 апреля 2023&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l7&quot; &gt;Строка 7:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Строка 7:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;***&amp;#160; &amp;lt;m&amp;gt;S_0&amp;lt;/m&amp;gt; — пустое&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;***&amp;#160; &amp;lt;m&amp;gt;S_0&amp;lt;/m&amp;gt; — пустое&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;***&amp;#160; &amp;lt;m&amp;gt;S_n&amp;lt;/m&amp;gt; — содержит все вершины с нулевой входящей степенью в &amp;lt;em&amp;gt;G&amp;lt;/em&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;***&amp;#160; &amp;lt;m&amp;gt;S_n&amp;lt;/m&amp;gt; — содержит все вершины с нулевой входящей степенью в &amp;lt;em&amp;gt;G&amp;lt;/em&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;−&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;***&amp;#160; &amp;lt;m&amp;gt;1 \leq i \leq n&amp;lt;/m&amp;gt;, &amp;lt;m&amp;gt;v_i ∈ S_i&amp;lt;/m&amp;gt;, &amp;lt;m&amp;gt;S_i - \{v_i\} ⊆ S_{i-1}&amp;lt;/m&amp;gt;, и &amp;lt;m&amp;gt;S_{i-1}&amp;lt;/m&amp;gt; содержит все вершины &amp;lt;em&amp;gt;u&amp;lt;/em&amp;gt;, для которых &amp;lt;m&amp;gt;(v_i,u) &lt;del class=&quot;diffchange diffchange-inline&quot;&gt;\in &lt;/del&gt;A&amp;lt;/m&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;***&amp;#160; &amp;lt;m&amp;gt;1 \leq i \leq n&amp;lt;/m&amp;gt;, &amp;lt;m&amp;gt;v_i ∈ S_i&amp;lt;/m&amp;gt;, &amp;lt;m&amp;gt;S_i - \{v_i\} ⊆ S_{i-1}&amp;lt;/m&amp;gt;, и &amp;lt;m&amp;gt;S_{i-1}&amp;lt;/m&amp;gt; содержит все вершины &amp;lt;em&amp;gt;u&amp;lt;/em&amp;gt;, для которых &amp;lt;m&amp;gt;(v_i,u) &lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;∈&amp;#160; &lt;/ins&gt;A&amp;lt;/m&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* Минимизировать число регистров,т.е. &amp;lt;em&amp;gt;k&amp;lt;/em&amp;gt;.&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* Минимизировать число регистров,т.е. &amp;lt;em&amp;gt;k&amp;lt;/em&amp;gt;.&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;/table&gt;</summary>
		<author><name>StasFomin</name></author>	</entry>

	<entry>
		<id>https://discopal.ispras.ru/index.php?title=Hardprob/Minimum_Register_Sufficiency&amp;diff=24818&amp;oldid=prev</id>
		<title>StasFomin: Массовая правка: замена \subseteq на ⊆</title>
		<link rel="alternate" type="text/html" href="https://discopal.ispras.ru/index.php?title=Hardprob/Minimum_Register_Sufficiency&amp;diff=24818&amp;oldid=prev"/>
				<updated>2023-04-17T11:08:43Z</updated>
		
		<summary type="html">&lt;p&gt;Массовая правка: замена \subseteq на ⊆&lt;/p&gt;
&lt;table class='diff diff-contentalign-left'&gt;
				&lt;col class='diff-marker' /&gt;
				&lt;col class='diff-content' /&gt;
				&lt;col class='diff-marker' /&gt;
				&lt;col class='diff-content' /&gt;
				&lt;tr style='vertical-align: top;' lang='ru'&gt;
				&lt;td colspan='2' style=&quot;background-color: white; color:black; text-align: center;&quot;&gt;← Предыдущая&lt;/td&gt;
				&lt;td colspan='2' style=&quot;background-color: white; color:black; text-align: center;&quot;&gt;Версия 11:08, 17 апреля 2023&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l7&quot; &gt;Строка 7:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Строка 7:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;***&amp;#160; &amp;lt;m&amp;gt;S_0&amp;lt;/m&amp;gt; — пустое&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;***&amp;#160; &amp;lt;m&amp;gt;S_0&amp;lt;/m&amp;gt; — пустое&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;***&amp;#160; &amp;lt;m&amp;gt;S_n&amp;lt;/m&amp;gt; — содержит все вершины с нулевой входящей степенью в &amp;lt;em&amp;gt;G&amp;lt;/em&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;***&amp;#160; &amp;lt;m&amp;gt;S_n&amp;lt;/m&amp;gt; — содержит все вершины с нулевой входящей степенью в &amp;lt;em&amp;gt;G&amp;lt;/em&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;−&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;***&amp;#160; &amp;lt;m&amp;gt;1 \leq i \leq n&amp;lt;/m&amp;gt;, &amp;lt;m&amp;gt;v_i ∈ S_i&amp;lt;/m&amp;gt;, &amp;lt;m&amp;gt;S_i - \{v_i\} &lt;del class=&quot;diffchange diffchange-inline&quot;&gt;\subseteq &lt;/del&gt;S_{i-1}&amp;lt;/m&amp;gt;, и &amp;lt;m&amp;gt;S_{i-1}&amp;lt;/m&amp;gt; содержит все вершины &amp;lt;em&amp;gt;u&amp;lt;/em&amp;gt;, для которых &amp;lt;m&amp;gt;(v_i,u) \in A&amp;lt;/m&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;***&amp;#160; &amp;lt;m&amp;gt;1 \leq i \leq n&amp;lt;/m&amp;gt;, &amp;lt;m&amp;gt;v_i ∈ S_i&amp;lt;/m&amp;gt;, &amp;lt;m&amp;gt;S_i - \{v_i\} &lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;⊆ &lt;/ins&gt;S_{i-1}&amp;lt;/m&amp;gt;, и &amp;lt;m&amp;gt;S_{i-1}&amp;lt;/m&amp;gt; содержит все вершины &amp;lt;em&amp;gt;u&amp;lt;/em&amp;gt;, для которых &amp;lt;m&amp;gt;(v_i,u) \in A&amp;lt;/m&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* Минимизировать число регистров,т.е. &amp;lt;em&amp;gt;k&amp;lt;/em&amp;gt;.&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* Минимизировать число регистров,т.е. &amp;lt;em&amp;gt;k&amp;lt;/em&amp;gt;.&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;/table&gt;</summary>
		<author><name>StasFomin</name></author>	</entry>

	<entry>
		<id>https://discopal.ispras.ru/index.php?title=Hardprob/Minimum_Register_Sufficiency&amp;diff=23780&amp;oldid=prev</id>
		<title>StasFomin в 07:50, 14 апреля 2023</title>
		<link rel="alternate" type="text/html" href="https://discopal.ispras.ru/index.php?title=Hardprob/Minimum_Register_Sufficiency&amp;diff=23780&amp;oldid=prev"/>
				<updated>2023-04-14T07:50:04Z</updated>
		
		<summary type="html">&lt;p&gt;&lt;/p&gt;
&lt;table class='diff diff-contentalign-left'&gt;
				&lt;col class='diff-marker' /&gt;
				&lt;col class='diff-content' /&gt;
				&lt;col class='diff-marker' /&gt;
				&lt;col class='diff-content' /&gt;
				&lt;tr style='vertical-align: top;' lang='ru'&gt;
				&lt;td colspan='2' style=&quot;background-color: white; color:black; text-align: center;&quot;&gt;← Предыдущая&lt;/td&gt;
				&lt;td colspan='2' style=&quot;background-color: white; color:black; text-align: center;&quot;&gt;Версия 07:50, 14 апреля 2023&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l1&quot; &gt;Строка 1:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Строка 1:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&amp;lt;!-- start --&amp;gt;&amp;lt;!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&amp;lt;!-- start --&amp;gt;&amp;lt;!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* Направленный ациклический граф &amp;lt;m&amp;gt;G=\left(V,A\right)&amp;lt;/m&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* Направленный ациклический граф &amp;lt;m&amp;gt;G=\left(V,A\right)&amp;lt;/m&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;−&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* Найти &lt;del class=&quot;diffchange diffchange-inline&quot;&gt;вычисления &lt;/del&gt;на &lt;del class=&quot;diffchange diffchange-inline&quot;&gt;Computation for &lt;/del&gt;&amp;lt;em&amp;gt;G&amp;lt;/em&amp;gt;, которое использует &amp;lt;em&amp;gt;k&amp;lt;/em&amp;gt; регистров, т.е. &amp;#160;&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;+&lt;/td&gt;&lt;td style=&quot;color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;* Найти &lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;вычисление &lt;/ins&gt;на &amp;lt;em&amp;gt;G&amp;lt;/em&amp;gt;, которое использует &amp;lt;em&amp;gt;k&amp;lt;/em&amp;gt; регистров, т.е. &amp;#160;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;** порядок &amp;lt;m&amp;gt;v_1, \ldots, v_n&amp;lt;/m&amp;gt; на вершинах &amp;lt;em&amp;gt;V&amp;lt;/em&amp;gt; &amp;#160;&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;** порядок &amp;lt;m&amp;gt;v_1, \ldots, v_n&amp;lt;/m&amp;gt; на вершинах &amp;lt;em&amp;gt;V&amp;lt;/em&amp;gt; &amp;#160;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;** последовательность &amp;lt;m&amp;gt;S_0, \ldots, S_n&amp;lt;/m&amp;gt; подмножеств &amp;lt;em&amp;gt;V&amp;lt;/em&amp;gt;, удовлетворяющих&lt;/div&gt;&lt;/td&gt;&lt;td class='diff-marker'&gt;&amp;#160;&lt;/td&gt;&lt;td style=&quot;background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;** последовательность &amp;lt;m&amp;gt;S_0, \ldots, S_n&amp;lt;/m&amp;gt; подмножеств &amp;lt;em&amp;gt;V&amp;lt;/em&amp;gt;, удовлетворяющих&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;/table&gt;</summary>
		<author><name>StasFomin</name></author>	</entry>

	<entry>
		<id>https://discopal.ispras.ru/index.php?title=Hardprob/Minimum_Register_Sufficiency&amp;diff=23779&amp;oldid=prev</id>
		<title>StasFomin: StasFomin переименовал страницу Hardprob/ Minimum Register Sufficiency в Hardprob/Minimum Register Sufficiency без оставления перенаправления</title>
		<link rel="alternate" type="text/html" href="https://discopal.ispras.ru/index.php?title=Hardprob/Minimum_Register_Sufficiency&amp;diff=23779&amp;oldid=prev"/>
				<updated>2023-04-14T07:48:26Z</updated>
		
		<summary type="html">&lt;p&gt;StasFomin переименовал страницу &lt;a href=&quot;/index.php?title=Hardprob/_Minimum_Register_Sufficiency&amp;amp;action=edit&amp;amp;redlink=1&quot; class=&quot;new&quot; title=&quot;Hardprob/ Minimum Register Sufficiency (страница не существует)&quot;&gt;Hardprob/ Minimum Register Sufficiency&lt;/a&gt; в &lt;a href=&quot;/Hardprob/Minimum_Register_Sufficiency&quot; title=&quot;Hardprob/Minimum Register Sufficiency&quot;&gt;Hardprob/Minimum Register Sufficiency&lt;/a&gt; без оставления перенаправления&lt;/p&gt;
&lt;table class='diff diff-contentalign-left'&gt;
				&lt;tr style='vertical-align: top;' lang='ru'&gt;
				&lt;td colspan='1' style=&quot;background-color: white; color:black; text-align: center;&quot;&gt;← Предыдущая&lt;/td&gt;
				&lt;td colspan='1' style=&quot;background-color: white; color:black; text-align: center;&quot;&gt;Версия 07:48, 14 апреля 2023&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan='2' style='text-align: center;' lang='ru'&gt;&lt;div class=&quot;mw-diff-empty&quot;&gt;(нет различий)&lt;/div&gt;
&lt;/td&gt;&lt;/tr&gt;&lt;/table&gt;</summary>
		<author><name>StasFomin</name></author>	</entry>

	</feed>