<?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_3-Dedicated_Processor_Scheduling</id>
		<title>Hardprob/Minimum 3-Dedicated Processor Scheduling - История изменений</title>
		<link rel="self" type="application/atom+xml" href="https://discopal.ispras.ru/index.php?action=history&amp;feed=atom&amp;title=Hardprob%2FMinimum_3-Dedicated_Processor_Scheduling"/>
		<link rel="alternate" type="text/html" href="https://discopal.ispras.ru/index.php?title=Hardprob/Minimum_3-Dedicated_Processor_Scheduling&amp;action=history"/>
		<updated>2026-04-19T14:50:32Z</updated>
		<subtitle>История изменений этой страницы в вики</subtitle>
		<generator>MediaWiki 1.26.4</generator>

	<entry>
		<id>https://discopal.ispras.ru/index.php?title=Hardprob/Minimum_3-Dedicated_Processor_Scheduling&amp;diff=25223&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_3-Dedicated_Processor_Scheduling&amp;diff=25223&amp;oldid=prev"/>
				<updated>2023-04-17T22:33:36Z</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-l3&quot; &gt;Строка 3:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Строка 3:&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;l(t) ∈ Z^+&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;l(t) ∈ Z^+&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; r(t)⊆P &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; r(t)⊆P &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;em&amp;gt;T&amp;lt;/em&amp;gt;, т.е. функция возвращающая время старта &amp;lt;m&amp;gt;s: T →&amp;#160; Z^+&amp;lt;/m&amp;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;t_1&lt;/del&gt;&amp;lt;/&lt;del class=&quot;diffchange diffchange-inline&quot;&gt;m&lt;/del&gt;&amp;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;t_2&lt;/del&gt;&amp;lt;/&lt;del class=&quot;diffchange diffchange-inline&quot;&gt;m&lt;/del&gt;&amp;gt;, у которых &amp;lt;m&amp;gt;r(t_1) ∩&amp;#160; r(t_2) ≠ \emptyset&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;lt;em&amp;gt;T&amp;lt;/em&amp;gt;, т.е. функция возвращающая время старта &amp;lt;m&amp;gt;s: T →&amp;#160; Z^+&amp;lt;/m&amp;gt;, такую что для любых двух задач &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;t&amp;lt;sub&amp;gt;1&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;&lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;em&amp;gt;t&amp;lt;sub&amp;gt;2&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;m&amp;gt;r(t_1) ∩&amp;#160; r(t_2) ≠ \emptyset&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;lt;m&amp;gt; s(t_1)+l(t_1) &amp;lt; s(t_2) &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; s(t_1)+l(t_1) &amp;lt; s(t_2) &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;m&amp;gt; s(t_2)+l(t_2) &amp;lt; s(t_1) &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; s(t_2)+l(t_2) &amp;lt; s(t_1) &amp;lt;/m&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_3-Dedicated_Processor_Scheduling&amp;diff=25137&amp;oldid=prev</id>
		<title>StasFomin: Массовая правка: замена \cap на ∩</title>
		<link rel="alternate" type="text/html" href="https://discopal.ispras.ru/index.php?title=Hardprob/Minimum_3-Dedicated_Processor_Scheduling&amp;diff=25137&amp;oldid=prev"/>
				<updated>2023-04-17T21:49:03Z</updated>
		
		<summary type="html">&lt;p&gt;Массовая правка: замена \cap на ∩&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:49, 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-l3&quot; &gt;Строка 3:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Строка 3:&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;l(t) ∈ Z^+&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;l(t) ∈ Z^+&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; r(t)⊆P &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; r(t)⊆P &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;em&amp;gt;T&amp;lt;/em&amp;gt;, т.е. функция возвращающая время старта &amp;lt;m&amp;gt;s: T →&amp;#160; Z^+&amp;lt;/m&amp;gt;, такую что для любых двух задач &amp;lt;m&amp;gt;t_1&amp;lt;/m&amp;gt; и &amp;lt;m&amp;gt;t_2&amp;lt;/m&amp;gt;, у которых &amp;lt;m&amp;gt;r(t_1) &lt;del class=&quot;diffchange diffchange-inline&quot;&gt;\cap &lt;/del&gt;r(t_2) ≠ \emptyset&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;lt;em&amp;gt;T&amp;lt;/em&amp;gt;, т.е. функция возвращающая время старта &amp;lt;m&amp;gt;s: T →&amp;#160; Z^+&amp;lt;/m&amp;gt;, такую что для любых двух задач &amp;lt;m&amp;gt;t_1&amp;lt;/m&amp;gt; и &amp;lt;m&amp;gt;t_2&amp;lt;/m&amp;gt;, у которых &amp;lt;m&amp;gt;r(t_1) &lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;∩&amp;#160; &lt;/ins&gt;r(t_2) ≠ \emptyset&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;lt;m&amp;gt; s(t_1)+l(t_1) &amp;lt; s(t_2) &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; s(t_1)+l(t_1) &amp;lt; s(t_2) &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;m&amp;gt; s(t_2)+l(t_2) &amp;lt; s(t_1) &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; s(t_2)+l(t_2) &amp;lt; s(t_1) &amp;lt;/m&amp;gt;&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;

&lt;!-- diff cache key discopal:diff:version:1.11a:oldid:24964:newid:25137 --&gt;
&lt;/table&gt;</summary>
		<author><name>StasFomin</name></author>	</entry>

	<entry>
		<id>https://discopal.ispras.ru/index.php?title=Hardprob/Minimum_3-Dedicated_Processor_Scheduling&amp;diff=24964&amp;oldid=prev</id>
		<title>StasFomin: Массовая правка: замена \in на ∈</title>
		<link rel="alternate" type="text/html" href="https://discopal.ispras.ru/index.php?title=Hardprob/Minimum_3-Dedicated_Processor_Scheduling&amp;diff=24964&amp;oldid=prev"/>
				<updated>2023-04-17T18:00:34Z</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:00, 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;lt;m&amp;gt; s(t_2)+l(t_2) &amp;lt; s(t_1) &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; s(t_2)+l(t_2) &amp;lt; s(t_1) &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;* Минимизировать полное время расписания&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;* Минимизировать полное время расписания&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; \max_{t &lt;del class=&quot;diffchange diffchange-inline&quot;&gt;\in &lt;/del&gt;T}(s(t)+r(t)) → \min &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; \max_{t &lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;∈&amp;#160; &lt;/ins&gt;T}(s(t)+r(t)) → \min &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;/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;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;----&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;----&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;

&lt;!-- diff cache key discopal:diff:version:1.11a:oldid:24857:newid:24964 --&gt;
&lt;/table&gt;</summary>
		<author><name>StasFomin</name></author>	</entry>

	<entry>
		<id>https://discopal.ispras.ru/index.php?title=Hardprob/Minimum_3-Dedicated_Processor_Scheduling&amp;diff=24857&amp;oldid=prev</id>
		<title>StasFomin: Массовая правка: замена \rightarrow на →</title>
		<link rel="alternate" type="text/html" href="https://discopal.ispras.ru/index.php?title=Hardprob/Minimum_3-Dedicated_Processor_Scheduling&amp;diff=24857&amp;oldid=prev"/>
				<updated>2023-04-17T11:33:59Z</updated>
		
		<summary type="html">&lt;p&gt;Массовая правка: замена \rightarrow на →&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: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-l3&quot; &gt;Строка 3:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Строка 3:&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;l(t) ∈ Z^+&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;l(t) ∈ Z^+&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; r(t)⊆P &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; r(t)⊆P &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;em&amp;gt;T&amp;lt;/em&amp;gt;, т.е. функция возвращающая время старта &amp;lt;m&amp;gt;s: T &lt;del class=&quot;diffchange diffchange-inline&quot;&gt;\rightarrow &lt;/del&gt;Z^+&amp;lt;/m&amp;gt;, такую что для любых двух задач &amp;lt;m&amp;gt;t_1&amp;lt;/m&amp;gt; и &amp;lt;m&amp;gt;t_2&amp;lt;/m&amp;gt;, у которых &amp;lt;m&amp;gt;r(t_1) \cap r(t_2) ≠ \emptyset&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;lt;em&amp;gt;T&amp;lt;/em&amp;gt;, т.е. функция возвращающая время старта &amp;lt;m&amp;gt;s: T &lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;→&amp;#160; &lt;/ins&gt;Z^+&amp;lt;/m&amp;gt;, такую что для любых двух задач &amp;lt;m&amp;gt;t_1&amp;lt;/m&amp;gt; и &amp;lt;m&amp;gt;t_2&amp;lt;/m&amp;gt;, у которых &amp;lt;m&amp;gt;r(t_1) \cap r(t_2) ≠ \emptyset&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;lt;m&amp;gt; s(t_1)+l(t_1) &amp;lt; s(t_2) &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; s(t_1)+l(t_1) &amp;lt; s(t_2) &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;m&amp;gt; s(t_2)+l(t_2) &amp;lt; s(t_1) &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; s(t_2)+l(t_2) &amp;lt; s(t_1) &amp;lt;/m&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_3-Dedicated_Processor_Scheduling&amp;diff=24726&amp;oldid=prev</id>
		<title>StasFomin: Массовая правка: замена &lt;m&gt;t\in T&lt;/m&gt; на &lt;em&gt;t ∈ T&lt;/em&gt;</title>
		<link rel="alternate" type="text/html" href="https://discopal.ispras.ru/index.php?title=Hardprob/Minimum_3-Dedicated_Processor_Scheduling&amp;diff=24726&amp;oldid=prev"/>
				<updated>2023-04-17T06:17:51Z</updated>
		
		<summary type="html">&lt;p&gt;Массовая правка: замена &amp;lt;m&amp;gt;t\in T&amp;lt;/m&amp;gt; на &amp;lt;em&amp;gt;t ∈ T&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;Версия 06:17, 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;em&amp;gt;T&amp;lt;/em&amp;gt;, набор &amp;lt;em&amp;gt;P&amp;lt;/em&amp;gt; из 3 процессоров, каждая задача &amp;lt;&lt;del class=&quot;diffchange diffchange-inline&quot;&gt;m&lt;/del&gt;&amp;gt;t&lt;del class=&quot;diffchange diffchange-inline&quot;&gt;\in &lt;/del&gt;T&amp;lt;/&lt;del class=&quot;diffchange diffchange-inline&quot;&gt;m&lt;/del&gt;&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;em&amp;gt;T&amp;lt;/em&amp;gt;, набор &amp;lt;em&amp;gt;P&amp;lt;/em&amp;gt; из 3 процессоров, каждая задача &amp;lt;&lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;em&lt;/ins&gt;&amp;gt;t &lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;∈ &lt;/ins&gt;T&amp;lt;/&lt;ins class=&quot;diffchange diffchange-inline&quot;&gt;em&lt;/ins&gt;&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;l(t) ∈ Z^+&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;l(t) ∈ Z^+&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; r(t)⊆P &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; r(t)⊆P &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_3-Dedicated_Processor_Scheduling&amp;diff=23691&amp;oldid=prev</id>
		<title>StasFomin: Новая страница: «&lt;!-- start --&gt;&lt;!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --&gt; * Набор задач &lt;em&gt;T&lt;/em&gt;, набор &lt;em&gt;P&lt;/em&gt; из 3 процессоров, каж…»</title>
		<link rel="alternate" type="text/html" href="https://discopal.ispras.ru/index.php?title=Hardprob/Minimum_3-Dedicated_Processor_Scheduling&amp;diff=23691&amp;oldid=prev"/>
				<updated>2023-04-12T17:26:55Z</updated>
		
		<summary type="html">&lt;p&gt;Новая страница: «&amp;lt;!-- start --&amp;gt;&amp;lt;!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --&amp;gt; * Набор задач &amp;lt;em&amp;gt;T&amp;lt;/em&amp;gt;, набор &amp;lt;em&amp;gt;P&amp;lt;/em&amp;gt; из 3 процессоров, каж…»&lt;/p&gt;
&lt;p&gt;&lt;b&gt;Новая страница&lt;/b&gt;&lt;/p&gt;&lt;div&gt;&amp;lt;!-- start --&amp;gt;&amp;lt;!-- {{svg-image-for-hard-problem|{{PAGENAME}}}} --&amp;gt;&lt;br /&gt;
* Набор задач &amp;lt;em&amp;gt;T&amp;lt;/em&amp;gt;, набор &amp;lt;em&amp;gt;P&amp;lt;/em&amp;gt; из 3 процессоров, каждая задача &amp;lt;m&amp;gt;t\in T&amp;lt;/m&amp;gt; имеет &lt;br /&gt;
** длительность &amp;lt;m&amp;gt;l(t) ∈ Z^+&amp;lt;/m&amp;gt;&lt;br /&gt;
** требуемое подмножество процессоров &amp;lt;em&amp;gt; r(t)⊆P &amp;lt;/em&amp;gt;. &lt;br /&gt;
* Найти расписание для &amp;lt;em&amp;gt;T&amp;lt;/em&amp;gt;, т.е. функция возвращающая время старта &amp;lt;m&amp;gt;s: T \rightarrow Z^+&amp;lt;/m&amp;gt;, такую что для любых двух задач &amp;lt;m&amp;gt;t_1&amp;lt;/m&amp;gt; и &amp;lt;m&amp;gt;t_2&amp;lt;/m&amp;gt;, у которых &amp;lt;m&amp;gt;r(t_1) \cap r(t_2) ≠ \emptyset&amp;lt;/m&amp;gt;, либо &lt;br /&gt;
** &amp;lt;m&amp;gt; s(t_1)+l(t_1) &amp;lt; s(t_2) &amp;lt;/m&amp;gt;&lt;br /&gt;
** &amp;lt;m&amp;gt; s(t_2)+l(t_2) &amp;lt; s(t_1) &amp;lt;/m&amp;gt;&lt;br /&gt;
* Минимизировать полное время расписания&lt;br /&gt;
 &amp;lt;m&amp;gt; \max_{t \in T}(s(t)+r(t)) → \min &amp;lt;/m&amp;gt;&lt;br /&gt;
&lt;br /&gt;
----&lt;br /&gt;
{{hard-problem-on-lab17|{{PAGENAME}}}}&lt;br /&gt;
&amp;lt;!-- * {{has-testdata-and-visualization}} --&amp;gt;&lt;br /&gt;
&amp;lt;!-- * {{has-pyomo-model}}   --&amp;gt;&lt;br /&gt;
&amp;lt;!-- * {{has-npc-reduction}} --&amp;gt;&lt;br /&gt;
&amp;lt;!-- * {{add-random-fuzzing-tests}} --&amp;gt;&lt;br /&gt;
----&lt;br /&gt;
&amp;lt;small&amp;gt;&lt;br /&gt;
{{ViggoCode|node188}}&lt;br /&gt;
&amp;lt;!-- {{GDCode|SS13}} --&amp;gt;&lt;br /&gt;
&amp;lt;!-- * [ Задача в википедии]  --&amp;gt;&lt;br /&gt;
&amp;lt;/small&amp;gt;&lt;br /&gt;
&amp;lt;!-- end --&amp;gt;&lt;br /&gt;
&lt;br /&gt;
[[Категория:ClassicHardProblems]]&lt;/div&gt;</summary>
		<author><name>StasFomin</name></author>	</entry>

	</feed>