Алгоритм для Бинарной проблемы Гольдбаха С++

[Чихачев]

#include <iostream>
#include <math.h>
#include <windows.h>

using namespace std;

int main()
{
int h; /*Количество делителей первого слагаемого*/
int h2; /*Количество делителей второго слагаемого*/
int g=4; /*Наше число для проверки, собственно первое значение 4.*/
int x, y; /*Слагаемые*/
x=g/2; /*Первые их значения*/
y=g/2; 
while(1>0) /*Бесконечный цикл*/
{
for(int i=1; i<=x; i++)
{
if(x/i==int(x/i)){
h+=1;
} /*Этой штукой проверяем кол-во делителей первого числа*/
}
for(int i=1; i<=y; i++)
{
if(y/i==int(y/i)){
h2+=1;
} /*Этой штукой проверяем кол-во делителей второго числа*/
}
if (h==h2 && h==2){
cout << g << "-True" << x << "+" << y;;
g+=2;
x=g/2;
y=g/2;
h=0;
h2=0;
} /*Если у обоих слагаемых делителей только 2 (тобишь они простые), то мы рассматриваем следующее четное число, остальные переменные возвращаем к начальному значению.*/
else{
x-=1;
y+=1;
} /*Если делители не простые рассматриваем следующий вариант 2 слагаемых. И так пока не рассмотрим все варианты.*/
if (x==0){
break;
cout << g << "-False";
} /*Если варианты слагаемых каждый раз не подходили, и в конце концов x стал равен нулю, то мы нашли четное число, которое является контр-примером => прекращаем цикл.*/
}
system("PAUSE");
}

При запуске программы она тут же завершается. Что не так?

[Lardes]

    for (int i = 1; i <= x; i++) {
        if (x / i == int(x / i)) {
            h += 1;
        } /*Этой штукой проверяем кол-во делителей первого числа*/
    }
    for (int i = 1; i <= y; i++) {
        if (y / i == int(y / i)) {
            h2 += 1;
        } /*Этой штукой проверяем кол-во делителей второго числа*/
    }

Довольно странные условия: if (x / i == int(x / i)) и if (y / i == int(y / i)), учитывая что x, y, i итак являются типами int. К чему они Вам?

Возможно стоит инициализировать переменные перед "бесконечным" циклом?

    h = 0;
    h2 = 0;