<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
	<id>https://number.subwiki.org/w/index.php?action=history&amp;feed=atom&amp;title=Coprime_partition_maximization_problem</id>
	<title>Coprime partition maximization problem - Revision history</title>
	<link rel="self" type="application/atom+xml" href="https://number.subwiki.org/w/index.php?action=history&amp;feed=atom&amp;title=Coprime_partition_maximization_problem"/>
	<link rel="alternate" type="text/html" href="https://number.subwiki.org/w/index.php?title=Coprime_partition_maximization_problem&amp;action=history"/>
	<updated>2026-09-03T12:26:13Z</updated>
	<subtitle>Revision history for this page on the wiki</subtitle>
	<generator>MediaWiki 1.41.2</generator>
	<entry>
		<id>https://number.subwiki.org/w/index.php?title=Coprime_partition_maximization_problem&amp;diff=275&amp;oldid=prev</id>
		<title>Vipul: Created page with &#039;==Statement==  Suppose &lt;math&gt;m&lt;/math&gt; and &lt;math&gt;n&lt;/math&gt; are natural numbers. The &#039;&#039;&#039;coprime partition maximization problem&#039;&#039;&#039; for &lt;math&gt;m&lt;/math&gt; with respect to &lt;math&gt;n&lt;/math&gt; a...&#039;</title>
		<link rel="alternate" type="text/html" href="https://number.subwiki.org/w/index.php?title=Coprime_partition_maximization_problem&amp;diff=275&amp;oldid=prev"/>
		<updated>2009-04-30T21:26:19Z</updated>

		<summary type="html">&lt;p&gt;Created page with &amp;#039;==Statement==  Suppose &amp;lt;math&amp;gt;m&amp;lt;/math&amp;gt; and &amp;lt;math&amp;gt;n&amp;lt;/math&amp;gt; are natural numbers. The &amp;#039;&amp;#039;&amp;#039;coprime partition maximization problem&amp;#039;&amp;#039;&amp;#039; for &amp;lt;math&amp;gt;m&amp;lt;/math&amp;gt; with respect to &amp;lt;math&amp;gt;n&amp;lt;/math&amp;gt; a...&amp;#039;&lt;/p&gt;
&lt;p&gt;&lt;b&gt;New page&lt;/b&gt;&lt;/p&gt;&lt;div&gt;==Statement==&lt;br /&gt;
&lt;br /&gt;
Suppose &amp;lt;math&amp;gt;m&amp;lt;/math&amp;gt; and &amp;lt;math&amp;gt;n&amp;lt;/math&amp;gt; are natural numbers. The &amp;#039;&amp;#039;&amp;#039;coprime partition maximization problem&amp;#039;&amp;#039;&amp;#039; for &amp;lt;math&amp;gt;m&amp;lt;/math&amp;gt; with respect to &amp;lt;math&amp;gt;n&amp;lt;/math&amp;gt; asks for the maximum possible value of the smallest part in any [[unordered integer partition]] of &amp;lt;math&amp;gt;m&amp;lt;/math&amp;gt; for which every part is relatively prime to &amp;lt;math&amp;gt;n&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
==Particular cases==&lt;br /&gt;
&lt;br /&gt;
===Best and worst case===&lt;br /&gt;
&lt;br /&gt;
The best case for this problem is when &amp;lt;math&amp;gt;n&amp;lt;/math&amp;gt; and &amp;lt;math&amp;gt;m&amp;lt;/math&amp;gt; are relatively prime. In this case, the partition is the single-part partition, with the maximum being &amp;lt;math&amp;gt;m&amp;lt;/math&amp;gt; itself.&lt;br /&gt;
&lt;br /&gt;
The worst case for this problem is when &amp;lt;math&amp;gt;n&amp;lt;/math&amp;gt; is divisible by all the primes less than or equal to &amp;lt;math&amp;gt;m&amp;lt;/math&amp;gt; (in other words, the [[square-free kernel]] of the [[factorial]] of &amp;lt;math&amp;gt;m&amp;lt;/math&amp;gt; divides &amp;lt;math&amp;gt;n&amp;lt;/math&amp;gt;). In this case, the only permissible partition is the all ones partition, and the corresponding maximum is &amp;lt;math&amp;gt;1&amp;lt;/math&amp;gt;.&lt;br /&gt;
&lt;br /&gt;
===Vinogradov&amp;#039;s theorem and its implications on partitions===&lt;br /&gt;
&lt;br /&gt;
{{fillin}}&lt;br /&gt;
&lt;br /&gt;
===The squareroot-size prime trick===&lt;br /&gt;
&lt;br /&gt;
If &amp;lt;math&amp;gt;p&amp;lt;/math&amp;gt; and &amp;lt;math&amp;gt;q&amp;lt;/math&amp;gt; are two primes whose product is less than &amp;lt;math&amp;gt;m&amp;lt;/math&amp;gt; such that neither divides &amp;lt;math&amp;gt;n&amp;lt;/math&amp;gt;, then, by the [[postage stamp problem]], we can write &amp;lt;math&amp;gt;n&amp;lt;/math&amp;gt; as a positive integer combination of &amp;lt;math&amp;gt;p&amp;lt;/math&amp;gt; and &amp;lt;math&amp;gt;q&amp;lt;/math&amp;gt;. Thus, &amp;lt;math&amp;gt;\operatorname{min}(p,q)&amp;lt;/math&amp;gt; is a lower bound on the maximum possible value.&lt;/div&gt;</summary>
		<author><name>Vipul</name></author>
	</entry>
</feed>