<?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=%D0%A1%D0%B2%D0%BE%D0%B4%D0%B8%D0%BC%D0%BE%D1%81%D1%82%D1%8C_%D0%BF%D0%BE_%D0%9A%D0%B0%D1%80%D0%BF%D1%83</id>
		<title>Сводимость по Карпу - История изменений</title>
		<link rel="self" type="application/atom+xml" href="https://discopal.ispras.ru/index.php?action=history&amp;feed=atom&amp;title=%D0%A1%D0%B2%D0%BE%D0%B4%D0%B8%D0%BC%D0%BE%D1%81%D1%82%D1%8C_%D0%BF%D0%BE_%D0%9A%D0%B0%D1%80%D0%BF%D1%83"/>
		<link rel="alternate" type="text/html" href="https://discopal.ispras.ru/index.php?title=%D0%A1%D0%B2%D0%BE%D0%B4%D0%B8%D0%BC%D0%BE%D1%81%D1%82%D1%8C_%D0%BF%D0%BE_%D0%9A%D0%B0%D1%80%D0%BF%D1%83&amp;action=history"/>
		<updated>2026-04-30T22:35:55Z</updated>
		<subtitle>История изменений этой страницы в вики</subtitle>
		<generator>MediaWiki 1.26.4</generator>

	<entry>
		<id>https://discopal.ispras.ru/index.php?title=%D0%A1%D0%B2%D0%BE%D0%B4%D0%B8%D0%BC%D0%BE%D1%81%D1%82%D1%8C_%D0%BF%D0%BE_%D0%9A%D0%B0%D1%80%D0%BF%D1%83&amp;diff=1287&amp;oldid=prev</id>
		<title>WikiSysop: 1 версия</title>
		<link rel="alternate" type="text/html" href="https://discopal.ispras.ru/index.php?title=%D0%A1%D0%B2%D0%BE%D0%B4%D0%B8%D0%BC%D0%BE%D1%81%D1%82%D1%8C_%D0%BF%D0%BE_%D0%9A%D0%B0%D1%80%D0%BF%D1%83&amp;diff=1287&amp;oldid=prev"/>
				<updated>2008-08-04T09:55:53Z</updated>
		
		<summary type="html">&lt;p&gt;1 версия&lt;/p&gt;
&lt;p&gt;&lt;b&gt;Новая страница&lt;/b&gt;&lt;/p&gt;&lt;div&gt;Задача разрешения ''P&amp;lt;sub&amp;gt;1&amp;lt;/sub&amp;gt;'' '''полиномиально сводится''' (по Карпу) к задаче разрешения ''P&amp;lt;sub&amp;gt;2&amp;lt;/sub&amp;gt;'', если существует полиномиально вычислимая функция ''f'', перерабатывающая&lt;br /&gt;
массивы входных данных ''I&amp;lt;sub&amp;gt;1&amp;lt;/sub&amp;gt;'' для задачи ''P&amp;lt;sub&amp;gt;1&amp;lt;/sub&amp;gt;'' в массивы входных&lt;br /&gt;
данных &amp;lt;amsmath&amp;gt;I_2 \equiv f(I)&amp;lt;/amsmath&amp;gt; для задачи ''P&amp;lt;sub&amp;gt;2&amp;lt;/sub&amp;gt;'' таким образом, что для любого ''I'' ответ&lt;br /&gt;
в задаче ''P&amp;lt;sub&amp;gt;1&amp;lt;/sub&amp;gt;'' совпадает с ответом задачи ''P&amp;lt;sub&amp;gt;2&amp;lt;/sub&amp;gt;'' для входных&lt;br /&gt;
данных ''f(I)''.&lt;br /&gt;
&lt;br /&gt;
[[Category:Теория сложности]]&lt;br /&gt;
{{replicate-from-custiswiki-to-lib}}&lt;/div&gt;</summary>
		<author><name>WikiSysop</name></author>	</entry>

	</feed>