Jaro-Winkler距離

 以前、スペルミスや「もしかして」系の機能の裏で動く技術としてわりと知られているLevenshtein距離についてちょっと書いてみました。
今回はそれと同様な用途に用いられがちなJaro-Winkler距離。


 Jaro-Winkler距離というのは、Levenshtein距離同様に文字列同士の近さを数値化するアルゴリズムです。
距離って言っても、数値が小さいほうが遠いので気をつけましょう。cos距離みたいなかんじです。

 こいつは、Jaro距離という、これまた謎の文字列類似度計測指標にすこしだけ改良を加えたもので、肝はJaro距離です。
その少しだけの改良というのは、(式を見る限り)プレフィックスのexact matchは重視しようか、という程度のもの。


 で、パパっと作れると思ったら、意外とてこずった。


 Jaro距離では文字同士の一致を取るのですが、マッチとする文字の文字位置に一定の範囲をもうけ、そのウインドウ内での一致を取ります。
また、文字位置の交換によるマッチが可能であるかどうか?という転置の考えも取り入れています。
この転置が曲者で、しばらくうんうんうなってました。


というわけでコード

// valid_distance = -1 : not consider distance between characters
unsigned int getNumRangeMatchChar( const std::string &s1, const std::string &s2, const int distance = -1 ){	
	unsigned int l1 = s1.size();
	unsigned int l2 = s2.size();
	bool ignore_distance = false;

	if( distance < 0 ){ ignore_distance = true; }

	unsigned int counter = 0;
	for( unsigned int i = 0; i < l1; ++i ){

		// setting search range
		unsigned int from = i;
		unsigned int under = l2;
		if(! ignore_distance ){
			from = ( i < (unsigned int)distance ) ? 0 :  i - (unsigned int)distance;
			under = ( i +(unsigned int)distance >= l2 ) ? l2 : i + (unsigned int)distance;
		}
		for( unsigned int j = from; j < under; ++j ){
			if( s1[i] == s2[j] ){ ++counter; }
			// NOTICE : this code consider the case i == j ( both place and character match )
		}
	}
	return counter;
}

std::string getRangeMatchChar( const std::string &s1, const std::string &s2, const int distance = -1 ){
	unsigned int l1 = s1.size(), l2 = s2.size();
	bool ignore_distance = false;

	if( distance < 0 ){ ignore_distance = true; }

	std::string ret = "";

	for( unsigned int i = 0; i < l1; ++i ){
		// setting search range
		unsigned int from = i;
		unsigned int under = l2;
		if(! ignore_distance ){
			from = ( i < distance ) ? 0 :  i - distance;
			under = ( i + distance >= l2 ) ? l2 : i + distance;
		}
		for( unsigned int j = from; j < under; ++j ){
			if( s1[i] == s2[j] ){ ret += s1[i]; }
			// NOTICE : this code consider the case i == j ( both place and character match )
		}
	}
	return ret;
}

unsigned int getNumTransposition( const std::string &s1, const std::string &s2 ){
	unsigned int c = 0;
	for( unsigned int i = 0; i < s1.size() && i < s2.size(); ++i ){
		if( s1[i] != s2[i] ){ ++c; }
	}
	return c;
	
}

// Error the case  s1 & s2 are empty
double getJaroDistance( const std::string &s1, const std::string &s2 ){
	int distance = ( s1.size() > s2.size() ) ? s1.size() : s2.size();
	if( distance < 0 ){ return -1; } 
	distance = distance / 2 - 1;
	if( distance < 0 ){ return -1; }

	int match = getNumRangeMatchChar( s1, s2, distance );
	int trans = getNumTransposition( getRangeMatchChar( s1, s2, distance ), getRangeMatchChar( s2, s1, distance ) );
	double m = (double)match;
	double t = ( (double)trans ) / 2.;

	return ( m / (double)s1.size() + m / (double)s2.size() + ( m - t ) / match ) / 3.;
}

unsigned int getLengthOfCommonPrefix( const std::string &s1, const std::string &s2 ){
	unsigned int c = 0;
	for( unsigned int i = 0; i < s1.size() && i < s2.size(); ++i ){
		if( s1[i] == s2[i] ){ ++c; } else { return c; }
	}
	return c;
}

double getJaroWinklerDistance( const std::string &s1, const std::string &s2, const double scaling = 0.1 ){
	if( scaling < 0 ){ return -1; }
	double j = getJaroDistance( s1, s2 );
	return j + getLengthOfCommonPrefix( s1, s2 ) * scaling * ( 1 - j );
}


ミソは、マッチを取るときに軸足をstring1とstring2どちらにおいても同じ数字が得られるのだけど、
マッチした文字をマッチした順に並べると、軸足の置き方によって順番が変わるよね、という話。


Levenshtein距離より精度がいいぜ、という発言をたまに聞きますが、意味が分からないのでそういう考え方はしないほうがいいと思います。
ものの尺度なので。

Levenshtein距離とか。

 某所のパズルでまさにこれを使う問題が出たので2年ぶりくらいに実装してみる。




●レーベンシュタイン距離

 2つの文字列があるとき、片方からもう片方に変換したい。
文字の置換・挿入、削除の3つの操作が可能なとき、一連の操作の最も少ない回数のこと。
 Googleの"もしかして"のような機能や、判別系モデルの特徴量なんかに使われていて、自然言語処理屋さんなら必ず知っている気がします。気のせいかもしれません。



 ※ちなみにこのとき、置換操作のみを許可したものがハミング距離というやつです。


 昨今(といってももうだいぶ前から)ではバイオインフォでも使われます。
面倒な話は省きますが、謎の要請により、DNA配列同士を比較したいのだけど、
DNAには塩基の置換や挿入、欠失が起こるから困ったもんだ、という、
まことにレーベンシュタイン距離の扱う問題そのものがあったりします。



閑話休題



 しかし昨今はインターネットでこの辺の説明もコードも簡単に手に入るなぁ。
上で書いた内容なんてほとんど、むしろ断然詳しくネットに乗っているので僕が偉そうに書く必要もないのですが。


 そんな感じで虚無感に苛まれていてもあれなので、その辺に出回っているものとはほんのちょっと、wikiでは扱っていない部分を付け足したスニペットをはっときます。


 何が違うかって言うと、たとえば、置換はわりとよくあるんだけど、
挿入はほとんどないし、削除にいたっては絶望的にないよね、
という事前情報を状況に対応できるよう、コストを突っ込めるようにしただけ。

 ※挿入と削除は見る方向が違うだけで、同じ処理なので、ここを変える要請があるかは不明

template< typename CostType >
int getLevenshteinDistance( const char* str1, const char* str2, CostType cost_ins, CostType cost_del, CostType cost_mut ){
	unsigned int len1 = std::strlen( str1 );
	unsigned int len2 = std::strlen( str2 );

	// alloc
	CostType **matrix = new CostType*[len1+1];
	for( unsigned int i=0; i <= len1; ++i ){ matrix[i] = new CostType[len2+1]; }

	// init dp matrix
	for( unsigned int i = 0; i <= len1; ++i ){ matrix[i][0] = i * cost_ins; }
	for( unsigned int i = 0; i <= len2; ++i ){ matrix[0][i] = i * cost_del; }
	for( unsigned int i = 1; i <= len1; ++i ){
		for( unsigned int j = 1; j <= len2; ++j ){
			CostType min = matrix[i-1][j-1] + ( ( str1[i-1] == str2[j-1] ) ? 0 : cost_mut );	// mutation 
			if( min > ( matrix[i-1][j] + cost_ins ) ){ min = matrix[i-1][j] + cost_ins; }	// insertion
			if( min > ( matrix[i][j-1] + cost_del ) ){ min = matrix[i][j-1] + cost_del; }	// deletion
			matrix[i][j] = min;

		}
	}

	for( unsigned int i = 0; i <= len1; ++i ){
		for( unsigned int j = 0; j <= len2; ++j ){
			std::cout << matrix[i][j] << " ";
		}
		std::cout << std::endl;
	}
	
	CostType result = matrix[len1][len2];

	for( unsigned int i=0; i < len1; ++i ){ delete[] matrix[i]; }
	delete[] matrix;

	return result;
}

また無駄にテンプレート。コストはintとは限らないからね!
テストしてないのでちゃんと動くのかは知りません…


●蛇足


 この辺の、文字比較の何とか距離というものは有用だからか、わりと色々な種類があって、
今回のレーベンシュタイン距離のほかにも、Jaro距離とか、Jaro-Winkler距離とか、
なんだかもう色々とわけが分からない感じになっています。


 その辺の話も、一応できるのですがまた今度。

おしえて おしえて セジウィック さん

大昔に買ったはいいものの,全然読んでいなかったSegiwickのAlgorithm in Cをぱらぱら見てて思ったんですが,
日本語第1巻で,ユークリッドの互除法に触れてますよね.


ユークリッドの互除法って,gcd(a, b)なら

n_0 = a mod b
n_1 = b mod n_0
n_2 = n_0 mod n_1
...

とやって,n_xが0になるまで続け,n_(x-1)が最大公約数だっていうアルゴリズムだったと思います.とすると,

unsigned long long int gcd(unsigned long long int u, unsigned long long int v)
{
	if(u<v){swap(u, v); }

	while(v>0)
	{
		u%=v;
		swap(u, v);
	}
	return u;
}

というコードが自然だと思います.


ところがSegiwick本では

unsigned long long int gcd2(unsigned long long int u, unsigned long long int v)
{

	while(u>0)
	{
		if(u<v){swap(u, v); }
		u-=v;
	}

	return v;
}

というように,引き算を使っています.
gcd(a, b)において,a = 3 * b + nであるなら,

n = a-b-b-b
n = a mod b

どちらも同じことなので,結局は同様の操作をしていることになりますが,
ループ回数のカウント,Cのclock関数で性能を比べてみると,

gcd(123456789012345678, 987654321098765432)

Natural (?) way:
STEP: 14
Clock: 0
gcd: 2

Segiwick's way:
STEP: 13720420
Clock: 125
gcd: 2


というわけで前者の圧勝です.一体なぜSegiwickさんはこのような方式を取ったのか?


いや,全然分からないんですけどね.
昔は除算と剰余が非常に遅く,PentiumIIIで35倍くらいの開きがあったとかなかったとかどこかで目にした覚えがあります.
それが理由でしょうか?それにしたってループのステップ数違いすぎな気もします.

もう少し調べてから加筆するかもしれません.

ソートのアルゴリズムおまけ

まあ要は必要になったから,勉強がてらソートのアルゴリズムを実装しまくっているんですね.
というわけでおまけ.

template<class T>
void Sort<T>::insertion_sort(T target[], int length)
{
	T key = 0;

	for(int i=1; i<length; ++i)
	{
		key = target[i];
		int j=i-1;

		while(j>=0 && target[j] > key)
		{
			target[j+1] = target[j--];
		}
		target[j+1] = key;
	}
}

template<class T>
void Sort<T>::shell_sort(T target[], int length, int distance)
{
	T key;

	while(distance > 0)
	{
		for(int i=distance; i<length; ++i)
		{
			key = target[i];
			int j=i;
			while(j>=distance && target[j-distance] > target[j])
			{
				swap(target[j], target[j-distance]);
				j-=distance;
			}
		}
		distance/=2;
	}
}



template<class T>
void Sort<T>::selection_sort(T target[], int length)
{
	for(int i=0, min; i<length-1; ++i)
	{
		min = i;
		for(int j=i+1; j<length; ++j)	
		{
			if(target[min] > target[j] )
			{
				min = j;
			}
		}
		swap(target[i], target[min]);
	}
}

何の変哲も無い挿入ソートと選択ソート.
あとシェルソートシェルソートって挿入ソートの改良版だったんですね.知らなかった.
このアルゴリズムってなんだか直感に反して効率的といわれているので,なんでやねん!とか思ってたのですが,
挿入ソートを効率よくするために…とか言われると分かる気がします.


相変わらず動作保障は無いです.要素20の配列で動いたよ,程度.

ネットを徘徊していると,3-wayのquick sortの実装って余り見当たりませんな.
前にJavaで実装したものがあるので,気が向いたらn-wayにしてここに張ります.

ソートのアルゴリズム

ちょっと分けあってソートについて調べています.


いやはや,奥が深いんですな.
僕は中の下程度の知識しか無いし,今更そんなもん必要じゃないだろと思って大した勉強をしたことが無いんですが.
これまでbubble, insertion, selection, quick, heap, shell, mergeのような,基本的なものしか知りませんでした.

例えばbubble sortひとつとっても,ソート済みのindexを記憶しておくことで探索範囲を徐々に縮めていく方法とか(名前無いの?),
片一方からのみソートしていくんじゃあバランス悪いから交互に攻めようとかいってshaker sortとかいうのがあったり.

しかし僕は頭が豆腐でできているため,本で読んだだけじゃあよく分かりません.
なのでコーディングします.

template<class T>
void Sort<T>::bubble_sort(T target[], int length)
{
	for(int i=length-1; i>=1; --i)
	{
		for(int j=1; j<=i; ++j)
		{
			if(target[j-1] > target[j])
			{
				swap(target[j-1], target[j]);
			}
		}
	}
}

これが普通のバブルソートセジウィック本とほぼ同じようなコードになってしまった.
templateになっているのはご愛嬌.

template<class T>
void Sort<T>::bubble_sort2(T target[], int length)
{
	for(int i=length-1; i>=1; --i)
	{
		int sorted = 0;
		for(int j=1; j<=i; ++j)
		{
			if(target[j-1] > target[j])
			{
				swap(target[j-1], target[j]);
				sorted = j;
			}
		}
		if(!sorted){break;}
	}
}

これが改良版バブルソート.おおー.こんないい方法があったのか.考えたことなかった.頭いいなぁ.

template<class T>
void Sort<T>::shaker_sort(T target[], int length)
{
	int top = 0, bottom = length-1, sorted = top;
	while(bottom > top)
	{
		for(int j=bottom; j>top; --j)
		{
			if(target[j-1] > target[j])
			{
				swap(target[j-1], target[j]);
				sorted = j-1;
			}
		}
		top = sorted;
		

		if(top == bottom){ break;}

		sorted = top;

		for(int j=top; j<bottom; ++j)
		{
			if(target[j] > target[j+1])
			{
				swap(target[j], target[j+1]);
				sorted = j+1;
			}
		}
		bottom = sorted;

		if(top == bottom){ break;}
	}
}

で,これが最終形態のシェーカーソート.前の2つに比べてコードが長いですが,単に左右左右とバブルソート(2つ目のほう)をしているだけです.
いやあ,すごいなぁ.バブルソートを材料に,こんなこと考える人いるのか.感心しますね.世の中にはあたまがいい人であふれてます.
ちなみに僕は情報科学系の学部を出たわけでないんで,アルゴリズムにしてもプログラミングにしても独学なんですね.
だからこういうことに触れる機会が,その道の人に比べて圧倒的に少なかったのです.


いいですよね,情報系の人は.こういうこと勉強すれば単位になるんですから(酷)
自分,何トチ狂ってヘンテコな学科に行っちゃったんだろうとか思います.ちょっと後悔してますが,よかったこともあるのでそれはそれで.



ちなみにコードは写経したわけでないので,うまく動くかは保障外です.あ,swapは単なる交換ですよ.
そんなこんなで貴重な日曜日は過ぎてゆくのだ.

Project Euler 18と67

 三角形の行列を下にたどり,通った数字の最大値を求める.
ご丁寧に,問題18では行列が小さいからbrute forceでもいけるけど,
問題67は同じ問題だけど行列がでかいからキツイぜ,とか書いてある.


これは面白い.当然一般的な解法をここで考えて二つとも解くに限る.


 で,僕は動的計画法が得意なのでそれで解きました.


と言っても別に難しいことは無くて,例えば

01
02 03
04 05 06
07 08 09 10

という行列を考える.面倒なので問題のようにピラミッド型じゃなくて三角行列で.


上から初めて,あり得るパスの中で最大のものを保存してゆき,最終的に一番下に出てくるのが最大値候補群となる.


僕は説明が破滅的に苦手なので順を追ってみると

01
03 04
04 05 06
07 08 09 10

青の値を足したものが赤.
これは1番目の行から2番目の行まで行くルート候補の値になる.


01
03 04
06 08 09
07 08 09 10

青の値を赤に,緑の値を紫色に足した.
ただし,真ん中の水色の値は両方試して,大きいほうを選択する.
こうすると1番目の行から2番目の行まで行くルートの中で,値が大きいもののみが残る.


最終的に,

01
03 04
06 08 09
15 17 18 19

という行列が出来上がるので,一番下の行から最大のものを選ぶ.


というわけで,同時に2つ解きました.
コーディングは無意味なところにやたら凝ってしまい凄く時間が掛かってしまいました.

typedef unsigned long long uint64;
typedef uint64 natural ;


int index(int x, int y) // index of matrix. we don't use 0 as index
{
	if( x <= 0 || y <= 0 || y < x)
	{
		return -1;
	} else
	{
		return ((y * (y-1) / 2)) + x - 1;
	}
}

void createDPMatrix(vector<natural>& s, vector<natural>& d, int x, int y)
{
	natural source = d[index(x,y)];

	if((index(x,y+1) == -1) || (index(x+1,y+1) == -1)){ return; }
	if((index(x+1, y+1) > (int)d.size()-1) || index(x, y+1) > (int)d.size()-1){ return; }

	natural left = source + s[index(x, y+1)];
	natural right = source + s[index(x+1, y+1)];

	if(left > d[index(x,y+1)])
	{
		d[index(x,y+1)] = left;
		createDPMatrix(s, d, x, y+1);
	}

	if(right > d[index(x+1,y+1)])
	{
		d[index(x+1,y+1)] = right;
		createDPMatrix(s, d, x+1, y+1);
	}

}

natural f18()
{

	ifstream in("in.txt", ios::binary | ios::in);
	if(!in){ cout<<"Can't open file"<<endl; }

	vector<natural> inmat;
	natural buff;
	int x=0, y=1;
	natural max=0;

	while(in>> buff)
	{
		inmat.push_back(buff);

		if(y == x) { ++y; x=0;}
		else { ++x; }
	}

	
	vector<natural> dpmat(inmat.size(),0);
	dpmat[index(1,1)] = inmat[index(1,1)];

	createDPMatrix(inmat, dpmat, 1, 1);

	for(int i=1; i<=y; ++i)
	{
		if(dpmat[index(i, y)] > max)
		{
			max = dpmat[index(i, y)];
		}
	}

	return max;
}


Project Eulerにて初めて再帰使ったかも.ウソかも.
index()とか,別にいらないんですが,この方が考えやすいと思います.凄く無駄ですが.


三角行列みたいな可変長行列はC++とかだと作りにくくて,
フォーラム見ていると正方行列をそのまま三角行列として扱っている人がちらほらいましたが,これはindexによる擬似三角行列になってます.
偉そうに言いながら,vectorの力借りまくりですが.


あ,フォーラムで下からやっていく方法が.これは気づかなかった.


動的計画法自体の計算量は同じだけど,その方が最後に候補から選ぶ処理が無くなるので賢いですね.精進が足りん.

P_E_17

 とか何とか言って(16番の続き),17番.
one, two, three...one thousandまでの文字数をカウント.
うっわ,ひどい.問題も,僕のコードも.

natural f17()
{
	natural sum = 0;
	map<int, int> lnum;
	map<int, int> part;

	part.insert(make_pair(1, 3));		//one
	part.insert(make_pair(2, 3));		//two
	part.insert(make_pair(3, 5));		//three
	part.insert(make_pair(4, 4));		//four
	part.insert(make_pair(5, 4));		//five
	part.insert(make_pair(6, 3));		//six
	part.insert(make_pair(7, 5));		//seven
	part.insert(make_pair(8, 5));		//eight
	part.insert(make_pair(9, 4));		//nine
	part.insert(make_pair(10, 3));		//ten
	part.insert(make_pair(11, 6));		//eleven
	part.insert(make_pair(12, 6));		//twelve
	part.insert(make_pair(13, 8));		//thirteen
	part.insert(make_pair(14, 8));		//fourteen
	part.insert(make_pair(15, 7));		//fifteen
	part.insert(make_pair(16, 7));		//sixteen
	part.insert(make_pair(17, 9));		//seventeen
	part.insert(make_pair(18, 8));		//eighteen
	part.insert(make_pair(19, 8));		//nineteen	
	
	part.insert(make_pair(20, 6));		//twenty
	part.insert(make_pair(30, 6));		//thirty
	part.insert(make_pair(40, 5));		//forty
	part.insert(make_pair(50, 5));		//fifty
	part.insert(make_pair(60, 5));		//sixty
	part.insert(make_pair(70, 7));		//seventy
	part.insert(make_pair(80, 6));		//eighty
	part.insert(make_pair(90, 6));		//ninety
	part.insert(make_pair(100, 7));		//hundred
	part.insert(make_pair(1000, 8));	//thousand



	for(int i=1; i<1000; ++i)
	{
		int lettercount = 0;
		int num = i;
		int hundred = num / 100; num%=100;
		int ten = num / 10 * 10; num%=10;
		int one = num;

		if(ten == 10)		//10 ~ 19
		{
			lettercount += part.find(ten + one)->second;

		} else if(one)
		{
			if(ten){	//20 ~ 99
				lettercount += part.find(ten)->second;
				lettercount += part.find(one)->second;
			} else {	//01 ~ 09
				lettercount += part.find(one)->second;
			}
		} else if(ten)
		{				//10 ~ 90 :step 10
			lettercount+= part.find(ten)->second;
		}

		if(hundred){
			if(ten || one)
			{    // "3" means the count of "and"

				lettercount += part.find(hundred)->second + part.find(100)->second + 3;
			} else
			{
				lettercount += part.find(hundred)->second + part.find(100)->second;
			}
		}

		sum+= lettercount;
	}

	sum+= part.find(1)->second + part.find(1000)->second;

	return sum;
}

どうしても,何と言うか一般的なとき方をしにくい.thirteen とか,thirtyをthirとteen / tyに分割するとかはありえるが,
別にそこまでしなくていいか,という感じで適当にやってしまった.もはや指折り数えているのと大差なくて切ない.


と思ったらフォーラムでは大体同じような解き方をしている人が大半みたいなのでまあいいか.

Project Euler 16

 Project Euler,一体何のマラソンなんだかよく分からなくなってきました.
16番は2の1000乗の各桁を足すというもの.
Cとかだと組み込み型ではオーバーフローするから工夫が必要だよね,とかそういうことなのかなぁ?
微妙に出題の意図が分からない.


きっともっとHackな方法があるに違いない!とは思うけど,まだマラソンは始まったばかりなのでこの辺で体力を使うのはやめよう.

typedef unsigned long long uint64;
typedef uint64 natural ;

natural f16()
{
	const int shoulder = 1000;
	const int length = 1000;
	int num[length];
	int available = 0;

	natural sum = 0;
	
	for(int i=1; i<length; ++i)
	{
		num[i] = 0;
	}

	num[0] = 1;

	for(int i=1; i<=shoulder; ++i)
	{
		for(int j=available; j>=0; --j)
		{
			num[j] *=2;
			if( num[j] / 10 ){
				num[j+1] += num[j] / 10;
				num[j] = num[j] % 10;
			}
		}

		if(num[available+1])
		{
			++available;
		}
	}

	for(int i=0; i<=available; ++i)
	{
		sum+=num[i];
	}
	return sum;

}

10進数桁ごとの配列にして大きな数を計算する.
前の日記で,typedefの部分をコピペしなかったので今回はコピペ.

この辺,BigDecimalのあるJavaやScript言語で書いたら一瞬なんだろうなぁ.
と思ったのであえてC++です.

Project Eulerとか

Project Eulerというサイトがあるらしい.
要は,数学チックな問題がいっぱいあって,プログラミングして解きましょうという問題集のサイト.
PKU Judge Onlineみたいな感じです.


 こういうのハマるので困ります.
自分は低脳なので一つ一つ解くのに時間が掛かるのでさらに困ります.


 3桁同士の整数の積となっている,最大の回文数を求める問題について,
フォーラムに投稿しようと思ったのですが,なぜかロックされているのでここで地味に書きます.
んー,こういうのって駄目なのかな?駄目だったら消しますね.

typedef unsigned long long uint64;
typedef uint64 natural ;

natural mirror(natural num)
{
	natural mirror = 0;
	
	do
	{
		mirror *= 10;
		mirror += num % 10;

	}while(num /= 10);
	return mirror;

}

natural f4()
{
	natural lterm, rterm;
	natural lgst = 0;
	natural product = 0;

	for(lterm = 100; lterm < 1000; ++lterm)
	{
		for(rterm=100; rterm <= lterm; ++rterm)
		{
			product = lterm * rterm;
			if(product == mirror(product))
			{
				if(lgst < product)
				{
					lgst = product;
				}
			}
		}
	}
	return lgst;
}

フォーラムで見た限りではf4()の中にある2重ループを100〜999と100〜999のレンジで回しているものが多かったけど,
掛け算は交換可能なのだから,こんな風にかけるんじゃないんですか?


って書こうと思ったけどロックされているので…


 多分,こういうサイトを小学校くらいでやらせたら受けるんじゃないのかなぁ.
Pythonみたく分かりやすい言語を少し学ばせれば絶対食いつくと思うんですが.
少なくとも僕は食いついて睡眠時間が減っていますよ!

Project EulerのProblem12番

 三角数で約数が500より多い(つまり5001以上)ものはいくつ?


まあ,三角数を求めるところは工夫の余地無い気がしますが,
約数を探すところで,ナイーブに1から順番に割れるかどうか?みたくやったらすごく遅くて回答出る前にこっちの我慢の限界.


最適化するな.まだするな.やれ.


というわけで最適化(?)


例えば10を2で割れたなら,その商である5でも割れるんだから,
何も10の約数を探すのに1,2,3,4,5,6,7,8,9,10で割ってみないで,
1で割れる→10でも割れる 10より小さい範囲を探す
2でも割れる→5でも割れる 5より小さい範囲を探す
3,4では割れない.よって4つ.


というコード.5秒.思ったより速くない.

natural f12()
{
	natural triangle = 0;
	int divnum = 0;
	natural upper = 0;

	for(natural i=1; ;++i)
	{
		triangle+=i;
		divnum=0;
		upper = triangle;

		for(natural j=1; j<upper; ++j)
		{
			if(!(triangle%j))
			{
				upper = triangle/j;
				divnum+=2;
			}
		}

		if(divnum > 500)
		{
			break;
		}
	}

	return triangle;
}

小さい数字でちゃんと動くか知りません.


 ちなみに,こういうのをネットで検索してヒントを得るのは主義に反しているので余りやらないんですが,
解いてから色々見ていると,約数じゃなくて素因数分解を前提にしている回答が多い気がしました.
でも,問題には28の場合,1,2,4,7,14,28と明らかに素因数分解ではないですし,どうなんでしょう.
それでもうまくいくものなんですかね.ちゃんと読んで無いですけど.


あと,親切にも日本語に問題を翻訳してくれているページがあるんですね.
僕の場合,英語を読むのに掛かる時間が結構長いので助かります.
いや,これも英語の練習だから!逃げちゃ駄目だ!


 うーん,こんなところで詰まるのでは先が思いやられるなぁ.
別に目標とか無いけど.