Найти центр тяжести многоугольника


16

Из Википедии :

Центроид несамопересекающегося замкнутого многоугольника, определенного n вершинами ( x 0 , y 0 ), ( x 1 , y 1 ), ..., ( x n - 1 , y n − 1 ), является точка ( C x , C y ), где

Формула для Centroid

и где A - площадь со знаком полигона,

Формула для площади многоугольника

В этих формулах предполагается, что вершины пронумерованы в порядке их появления по периметру многоугольника. Кроме того, предполагается , что вершина ( x n , y n ) совпадает с ( x 0 , y 0 ), что означает, что i + 1 в последнем случае должно повторяться до i = 0 . Обратите внимание, что если точки нумеруются по часовой стрелке, область A , вычисленная, как указано выше, будет иметь отрицательный знак; но координаты центроида будут правильными даже в этом случае.


  • Учитывая список вершин по порядку (по часовой стрелке или против часовой стрелки), найдите центр тяжести несамопересекающегося замкнутого многоугольника, представленного вершинами.
    • Если это помогает, вы можете считать, что вводом является только CW или только CCW. Скажи так в своем ответе, если вам это нужно.
  • Координаты не обязательно должны быть целыми числами и могут содержать отрицательные числа.
  • Ввод всегда будет действительным и содержать как минимум три вершины.
  • Входные данные должны обрабатываться только в соответствии с типом данных с плавающей запятой вашего языка.
  • Вы можете предположить, что входные числа всегда будут содержать десятичную точку.
  • Вы можете предположить, что входные целые числа заканчиваются на .или .0.
  • Вы можете использовать комплексные числа для ввода.
  • Вывод должен быть точным с точностью до тысячных.

Примеры

[(0.,0.), (1.,0.), (1.,1.), (0.,1.)]        -> (0.5, 0.5)
[(-15.21,0.8), (10.1,-0.3), (-0.07,23.55)]  -> -1.727 8.017
[(-39.00,-55.94), (-56.08,-4.73), (-72.64,12.12), (-31.04,53.58), (-30.36,28.29), (17.96,59.17), (0.00,0.00), (10.00,0.00), (20.00,0.00), (148.63,114.32), (8.06,-41.04), (-41.25,34.43)]   -> 5.80104769975, 15.0673812762

Чтобы увидеть каждый многоугольник на координатной плоскости, вставьте координаты без квадратных скобок в меню «Правка» этой страницы .

Я подтвердил свои результаты, используя этот многоугольный калькулятор точек центроида , который ужасен. Я не смог найти тот, в который можно было бы ввести все вершины одновременно, или который не пытался стереть свой -знак при первом его вводе . Я опубликую свое решение Python для вашего использования после того, как у людей будет возможность ответить.


Гораздо более простая техника усреднения всех произведений x и y для первых двух наборов, но не для третьего. Интересно, что имеет значение ...
ETHproductions

1
@ETHproductions Третий многоугольник не выпуклый.
JungHwan Мин

1
@ETHproductions Если вы приближаете окружность с помощью многоугольника, вы можете переместить среднюю точку произвольно близко к точке на окружности, используя больше точек, близких к этой точке, почти не влияя на центроид и сохраняя выпуклый многоугольник.
Кристиан Сиверс

2
@ETHproductions На самом деле выпуклость не является причиной. Усреднение всех xs и ys помещает весь вес в вершины, а не распределяется по телу. Первый из них работает, потому что он регулярный, поэтому оба метода оказываются в центре симметрии. Второй работает, потому что для треугольников оба метода приводят к одной и той же точке.
Тон Хоспел

1
Можем ли мы использовать комплексные числа для ввода / вывода?
xnor

Ответы:


16

Желе , 25 24 22 21 18 байт

S×3÷@×"
ṙ-żµÆḊçS€S

Применяет формулу, показанную в задаче.

Сохранено 3 байта с помощью @ Джонатана Аллана.

Попробуйте онлайн!или Проверьте все контрольные примеры.

объяснение

S×3÷@×"  Helper link. Input: determinants on LHS, sum of pairs on RHS
S        Sum the determinants
 ×3      Multiply by 3
     ×"  Vectorized multiply between determinants and sums
   ÷@    Divide that by the determinant sum multipled by 3 and return

ṙ-żµÆḊçS€S  Main link. Input: 2d list of points
ṙ-          Rotate the list of points by 1 to the right
  ż         Interleave those with the original points
            This creates all overlapping slices of length 2
   µ        Start new monadic chain
    ÆḊ      Get the determinant of each slice
       S€   Get the sum of each slice (sum of pairs of points)
      ç     Call the helper link
         S  Sum and return

Вы можете заменить ṁL‘$ṡ2на ṙ1ż@илиżṙ1$
Джонатан Аллан

@JonathanAllan Спасибо, я также могу вращаться, ṙ-żчтобы избежать обмена и сохранить еще один байт
мили

О да конечно!
Джонатан Аллан

17

Mathematica, 23 байта

RegionCentroid@*Polygon

принимать ТО , желе!

Изменить: не просто победить желе ...

объяснение

Polygon

Создайте многоугольник с вершинами в указанных точках.

RegionCentroid

Найдите центр тяжести многоугольника.


2
Ну, ты побил меня, но, возможно, есть более короткий путь, чем у меня, у меня пока нет полного понимания Jelly
мили

3
@miles aw ... :(
JungHwan Мин

4

J, 29 байт

2+/@(+/\(*%3*1#.])-/ .*\)],{.

Применяет формулу, показанную в задаче.

использование

   f =: 2+/@(+/\(*%3*1#.])-/ .*\)],{.
   f 0 0 , 1 0 , 1 1 ,: 0 1
0.5 0.5
   f _15.21 0.8 , 10.1 _0.3 ,: _0.07 23.55
_1.72667 8.01667
   f _39 _55.94 , _56.08 _4.73 , _72.64 12.12 , _31.04 53.58 , _30.36 28.29 , 17.96 59.17 , 0 0 , 10 0 , 20 0 , 148.63 114.32 , 8.06 _41.04 ,: _41.25 34.43
5.80105 15.0674

объяснение

2+/@(+/\(*%3*1#.])-/ .*\)],{.  Input: 2d array of points P [[x1 y1] [x2 y2] ...]
                           {.  Head of P
                         ]     Get P
                          ,    Join, makes the end cycle back to the front
2                              The constant 2
2                      \       For each pair of points
                  -/ .*        Take the determinant
2    +/\                       Sum each pair of points
         *                     Multiply the sum of each pair by its determinant
          %                    Divide each by
             1#.]              The sum of the determinants
           3*                  Multiplied by 3
 +/@                           Sum and return

4

Максима, 124 118 116 112 106 байт

f(l):=(l:endcons(l[1],l),l:sum([3,l[i-1]+l[i]]*determinant(matrix(l[i-1],l[i])),i,2,length(l)),l[2]/l[1]);

У меня нет опыта работы с Maxima, поэтому любые советы приветствуются.

Использование:

(%i6) f([[-15.21,0.8], [10.1,-0.3], [-0.07,23.55]]);
(%o6)              [- 1.726666666666668, 8.016666666666668]

3

Ракетка 420 байт

(let*((lr list-ref)(getx(lambda(i)(lr(lr l i)0)))(gety(lambda(i)(lr(lr l i)1)))(n(length l))(j(λ(i)(if(= i(sub1 n))0(add1 i))))
(A(/(for/sum((i n))(-(*(getx i)(gety(j i)))(*(getx(j i))(gety i))))2))
(cx(/(for/sum((i n))(*(+(getx i)(getx(j i)))(-(*(getx i)(gety(j i)))(*(getx(j i))(gety i)))))(* 6 A)))
(cy(/(for/sum((i n))(*(+(gety i)(gety(j i)))(-(*(getx i)(gety(j i)))(*(getx(j i))(gety i)))))(* 6 A))))
(list cx cy))

Ungolfed:

(define(f l)
  (let* ((lr list-ref)
         (getx (lambda(i)(lr (lr l i)0)))
         (gety (lambda(i)(lr (lr l i)1)))
         (n (length l))
         (j (lambda(i) (if (= i (sub1 n)) 0 (add1 i))))
         (A (/(for/sum ((i n))
                (-(* (getx i) (gety (j i)))
                  (* (getx (j i)) (gety i))))
              2))
         (cx (/(for/sum ((i n))
                 (*(+(getx i)(getx (j i)))
                   (-(*(getx i)(gety (j i)))
                     (*(getx (j i))(gety i)))))
               (* 6 A)))
         (cy (/(for/sum ((i n))
                 (*(+(gety i)(gety (j i)))
                   (-(*(getx i)(gety (j i)))
                     (*(getx (j i))(gety i)))))
               (* 6 A))))
    (list cx cy)))

Тестирование:

(f '[(-15.21 0.8)  (10.1 -0.3)  (-0.07 23.55)] ) 
(f '[(-39.00 -55.94)  (-56.08 -4.73)  (-72.64 12.12)  (-31.04 53.58) 
     (-30.36 28.29)  (17.96 59.17)  (0.00 0.00)  (10.00 0.00)  
     (20.00 0.00) (148.63 114.32)  (8.06 -41.04)  (-41.25 34.43)])

Выход:

'(-1.7266666666666677 8.01666666666667)
'(5.8010476997538465 15.067381276150996)

3

R 129 129 байт

function(l){s=sapply;x=s(l,`[`,1);y=s(l,`[`,2);X=c(x[-1],x[1]);Y=c(y[-1],y[1]);p=x*Y-X*y;c(sum((x+X)*p),sum((y+Y)*p))/sum(p)/3}

Безымянная функция, которая принимает R-список кортежей в качестве входных данных. Названный эквивалент может быть вызван с помощью, например:

f(list(c(-15.21,0.8),c(10.1,-0.3),c(-0.07,23.55)))

Разгромил и объяснил

f=function(l){s=sapply;                           # Alias for sapply
              x=s(l,`[`,1);                       # Split list of tuples into vector of first elements
              y=s(l,`[`,2);                       # =||= but for second element 
              X=c(x[-1],x[1]);                    # Generate a vector for x(i+1)
              Y=c(y[-1],y[1]);                    # Generate a vector for y(i+1)
              p=x*Y-X*y;                          # Calculate the outer product used in both A, Cx and Cy
              c(sum((x+X)*p),sum((y+Y)*p))/sum(p)/3    # See post for explanation
}

Последний шаг ( c(sum((x+X)*p),sum((y+Y)*p))/sum(p)*2/6) - векторизованный способ вычисления Cxи Cy. Сумма в формулах Cxи Cyхранится в векторе и, следовательно, делится на «сумму в A» *2/6. Например:

(SUMinCx, SUMinCy) / SUMinA / 3

, а затем неявно печатается.

Попробуйте это на R-скрипке


*2/6может быть /3?
mbomb007

@ mbomb007 Это кропотливо очевидно, наверное, я увлекся игрой в гольф с другой стороны. /
пожимание

Элегантно, мне нравится твое использование sapplyдля работы с этими списками! Здесь могут быть возможности для игры в гольф, я не уверен, насколько гибок допустимый вклад. Если вам разрешено вводить только последовательность координат, например c(-15.21,0.8,10.1,-0.3,-0.07,23.55), вы можете сохранить 17 байтов, заменив первые строки вашей функции на y=l[s<-seq(2,sum(1|l),2)];x=l[-s];. Таким образом, установка yкаждого элемента с четным индексом lи xкаждого элемента с нечетным индексом.
rturnbull

Тем не менее, было бы еще лучше, если бы мы могли ввести матрицу (или массив), как matrix(c(-15.21,0.8,10.1,-0.3,-0.07,23.55),2), например , начало вашей функции x=l[1,];y=l[2,];, которое экономит 35 байт. (Вход матрица может быть перенесена, и в этом случае x=l[,1];y=l[,2];.) Конечно, самое простое решение все есть , если xи yпункты просто вводятся как отдельные векторы, function(x,y), но я не думаю , что это разрешено ...
rturnbull

@rturnbull Я спросил у OP в комментариях, и он определенно хотел список кортежей (конечно, очень неудобно в R), поэтому я не думаю, что матричный подход разрешен. И даже если бы это было так, вход должен был быть векторной частью (то есть c(...)), и преобразование матрицы должно было бы быть сделано внутри функции.
Billywob

2

Python, 156 127 байт

def f(p):n=len(p);p=p+p[:1];i=s=0;exec'd=(p[i].conjugate()*p[i+1]).imag;s+=d;p[i]=(p[i]+p[i+1])*d;i+=1;'*n;print sum(p[:n])/s/3

Ungolfed:

def f(points):
  n = len(points)
  points = points + [points[0]]
  determinantSum = 0
  for i in range(n):
    determinant = (points[i].conjugate() * points[i+1]).imag
    determinantSum += determinant
    points[i] = (points[i] + points[i+1]) * determinant
  print sum(points[:n]) / determinantSum / 3

Идео это.

Это принимает каждую пару точек [x, y]в качестве комплексного числаx + y*j и выводит полученный центроид как комплексное число в том же формате.

Для пары точек [a, b]и [c, d]значение, a*d - b*cнеобходимое для каждой пары точек, может быть вычислено из определителя матрицы

| a b |
| c d |

Используя сложную арифметику, комплексные значения a + b*jи c + d*jмогут быть использованы как

conjugate(a + b*j) * (c + d*j)
(a - b*j) * (c + d*j)
(a*c + b*d) + (a*d - b*c)*j

Обратите внимание, что мнимая часть эквивалентна определителю. Кроме того, использование комплексных значений позволяет легко суммировать точки в других операциях.


2

R + sp (46 байт)

Предполагается, что spпакет установлен ( https://cran.r-project.org/web/packages/sp/ )

Принимает список вершин, (например list(c(0.,0.), c(1.,0.), c(1.,1.), c(0.,1.)))

Использует тот факт, что "labpt" полигона является центроид.

function(l)sp::Polygon(do.call(rbind,l))@labpt

2

JavaScript (ES6), 102

Прямая реализация формулы

l=>[...l,l[0]].map(([x,y],i)=>(i?(a+=w=t*y-x*u,X+=(t+x)*w,Y+=(u+y)*w):X=Y=a=0,t=x,u=y))&&[X/3/a,Y/3/a]

Тестовое задание

f=
l=>[...l,l[0]].map(([x,y],i)=>(i?(a+=w=t*y-x*u,X+=(t+x)*w,Y+=(u+y)*w):X=Y=a=0,t=x,u=y))&&[X/3/a,Y/3/a]

function go()
{
  var c=[],cx,cy;
  // build coordinates array
  I.value.match(/-?[\d.]+/g).map((v,i)=>i&1?t[1]=+v:c.push(t=[+v]));
  console.log(c+''),
  [cx,cy]=f(c);
  O.textContent='CX:'+cx+' CY:'+cy;
  // try to display the polygon
  var mx=Math.max(...c.map(v=>v[0])),
    nx=Math.min(...c.map(v=>v[0])),
    my=Math.max(...c.map(v=>v[1])),
    ny=Math.min(...c.map(v=>v[1])),  
    dx=mx-nx, dy=my-ny,
    ctx=C.getContext("2d"),
    cw=C.width, ch=C.height,
    fx=(mx-nx)/cw, fy=(my-ny)/ch, fs=Math.max(fx,fy)
  C.width=cw
  ctx.setTransform(1,0,0,1,0,0);
  ctx.beginPath();
  c.forEach(([x,y],i)=>ctx.lineTo((x-nx)/fs,(y-ny)/fs));
  ctx.closePath();
  ctx.stroke();
  ctx.fillStyle='#ff0000';
  ctx.fillRect((cx-nx)/fs-2,(cy-ny)/fs-2,5,5);
}
go()
#I { width:90% }
#C { width:90%; height:200px;}
<input id=I value='[[-15.21,0.8], [10.1,-0.3], [-0.07,23.55]]'>
<button onclick='go()'>GO</button>
<pre id=O></pre>
<canvas id=C></canvas>


1

Python 2, 153 байта

Не использует комплексные числа.

P=input()
A=x=y=0;n=len(P)
for i in range(n):m=-~i%n;a=P[i][0];b=P[i][1];c=P[m][0];d=P[m][1];t=a*d-b*c;A+=t;x+=t*(a+c);y+=t*(b+d)
k=1/(3*A);print x*k,y*k

Попробуйте онлайн

Ungolfed:

def centroid(P):
    A=x=y=0
    n=len(P)
    for i in range(n):
        m=-~i%n
        x0=P[i][0];y0=P[i][1]
        x1=P[m][0];y1=P[m][1]
        t = x0*y1 - y0*x1
        A += t/2.
        x += t * (x0 + x1)
        y += t * (y0 + y1)
    k = 1/(6*A)
    x *= k
    y *= k
    return x,y

1

На самом деле, 45 40 39 байт

При этом используется алгоритм, аналогичный ответу желе миль . Существует более короткий способ вычисления определителей с использованием точечного продукта, но в настоящее время существует ошибка с точечным продуктом Actually, когда он не работает со списками с плавающей точкой. Предложения по игре в гольф приветствуются. Попробуйте онлайн!

;\Z♂#;`i¥`M@`i│N@F*)F@N*-`M;Σ3*)♀*┬♂Σ♀/

Ungolfing

         Implicit input pts.
;\       Duplicate pts, rotate right.
Z        Zip rot_pts and pts together.
♂#       Convert the iterables inside the zip to lists
         (currently necessary due to a bug with duplicate)
;        Duplicate the zip.
`...`M   Get the sum each pair of points in the zip.
  i        Flatten the pair to the stack.
  ¥        Pairwise add the two coordinate vectors.
@        Swap with the other zip.
`...`M   Get the determinants of the zip.
  i│       Flatten to stack and duplicate entire stack.
           Stack: [a,b], [c,d], [a,b], [c,d]
  N@F*)    Push b*c and move it to BOS.
  F@N*     Push a*d.
  -        Get a*d-b*c.
;Σ3*)    Push 3 * sum(determinants) and move it to BOS.
♀*       Vector multiply the determinants and the sums.
┬        Transpose the coordinate pairs in the vector.
♂Σ       Sum the x's, then the y's.
♀/       Divide the x and y of this last coordinate pair by 3*sum(determinants).
         Implicit return.

Короче, неконкурентная версия

Это еще одна 24-байтовая версия, которая использует комплексные числа. Он неконкурентоспособен, потому что он опирается на исправления ошибок, которые датируют эту проблему. Попробуйте онлайн!

;\│¥)Z`iá*╫@X`M;Σ3*)♀*Σ/

Ungolfing

         Implicit input a list of complex numbers, pts.
;\       Duplicate pts, rotate right.
│        Duplicate stack. Stack: rot_pts, pts, rot_pts, pts.
¥)       Pairwise sum the two lists of points together and rotate to BOS.
Z        Zip rot_pts and pts together.
`...`M   Map the following function over the zipped points to get our determinants.
  i        Flatten the list of [a+b*i, c+d*i].
  á        Push the complex conjugate of a+bi, i.e. a-b*i.
  *        Multiply a-b*i by c+d*i, getting (a*c+b*d)+(a*d-b*c)*i.
           Our determinant is the imaginary part of this result.
  ╫@X      Push Re(z), Im(z) to the stack, and immediately discard Re(z).
           This map returns a list of these determinants.
;        Duplicate list_determinants.
Σ3*)     Push 3 * sum(list_determinants) and rotate that to BOS.
♀*Σ      Pairwise multiply the sums of pairs of points and the determinants and sum.
/        Divide that sum by 3*sum(list_determinants).
         Implicit return.

1

C ++ 14, 241 байт

struct P{float x;float y;};
#define S(N,T)auto N(P){return 0;}auto N(P a,P b,auto...V){return(T)*(a.x*b.y-b.x*a.y)+N(b,V...);}
S(A,1)S(X,a.x+b.x)S(Y,a.y+b.y)auto f(auto q,auto...p){auto a=A(q,p...,q)*3;return P{X(q,p...,q)/a,Y(q,p...,q)/a};}

Выход является вспомогательной структурой P,

Ungolfed:

 //helper struct
struct P{float x;float y;};

//Area, Cx and Cy are quite similar
#define S(N,T)\  //N is the function name, T is the term in the sum
auto N(P){return 0;} \   //end of recursion for only 1 element
auto N(P a,P b,auto...V){ \ //extract the first two elements
  return (T)*(a.x*b.y-b.x*a.y) //compute with a and b
         + N(b,V...); \        //recursion without first element
}

//instantiate the 3 formulas
S(A,1)
S(X,a.x+b.x)
S(Y,a.y+b.y)


auto f(auto q,auto...p){
  auto a=A(q,p...,q)*3; //q,p...,q appends the first element to the end
  return P{X(q,p...,q)/a,Y(q,p...,q)/a};
}

Использование:

f(P{0.,0.}, P{1.,0.}, P{1.,1.}, P{0.,1.})
f(P{-15.21,0.8}, P{10.1,-0.3}, P{-0.07,23.55})

1

Clojure, 177 156 143 байта

Обновление: вместо обратного вызова я использую [a b c d 1]функцию, а аргумент - это просто список индексов для этого вектора. 1используется в качестве дозорного значения при расчете A.

Обновление 2: Не предварительное вычисление Aна let, используя (rest(cycle %))для получения входных векторов смещения на единице.

#(let[F(fn[I](apply +(map(fn[[a b][c d]](*(apply +(map[a b c d 1]I))(-(* a d)(* c b))))%(rest(cycle %)))))](for[i[[0 2][1 3]]](/(F i)(F[4])3)))

Оригинальная версия:

#(let[F(fn[L](apply +(map(fn[[a b][c d]](*(L[a b c d])(-(* a d)(* c b))))%(conj(subvec % 1)(% 0)))))A(*(F(fn[& l]1))3)](map F[(fn[v](/(+(v 0)(v 2))A))(fn[v](/(+(v 1)(v 3))A))]))

На менее гольфовой стадии:

(def f (fn[v](let[F (fn[l](apply +(map
                                    (fn[[a b][c d]](*(l a b c d)(-(* a d)(* c b))))
                                    v
                                    (conj(subvec v 1)(v 0)))))
                  A (* (F(fn[& l] 1)) 3)]
                [(F (fn[a b c d](/(+ a c)A)))
                 (F (fn[a b c d](/(+ b d)A)))])))

Создает вспомогательную функцию F которая реализует суммирование с любым обратным вызовом l. Поскольку Aобратный вызов возвращается постоянно, 1тогда как координаты X и Y имеют свои функции. (conj(subvec v 1)(v 0))удаляет первый элемент и добавляет в конец, таким образом, легко отслеживать x_iи x_(i+1). Может быть, еще есть какое-то повторение, особенно в последний раз (map F[....

Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.